Show simple item record

AuthorGuttmann, Walterdc.contributor.author
EditorGibbons, J.dc.contributor.editor
EditorNogueira, P.dc.contributor.editor
Date of accession2020-03-06T10:25:41Zdc.date.accessioned
Available in OPARU since2020-03-06T10:25:41Zdc.date.available
Date of first publication2012dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleUnifying Correctness Statementsdc.title
Resource typeBeitrag zu einer Konferenzdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1007/978-3-642-31113-0_11dc.identifier.doiExternal
Source - Title of sourceMathematics of Program Constructionsource.title
Source - PublisherBerlinsource.publisherPlace
Source - PublisherHeidelbergsource.publisherPlace
Source - Place of publicationSpringer-Verlagsource.publisher
Source - Year2012source.year
Source - From page198source.fromPage
Source - To page219source.toPage
Source - SerialLecture Notes in Computer Science ; 7342source.series
Source - ISBN978-3-642-31112-3source.identifier.isbn
Source - ISBN978-3-642-31113-0source.identifier.isbn
Conference nameInternational Conference on Mathematics of Program Constructionuulm.conferenceName
Conference placeMadriduulm.conferencePlace
Conference start date2012-06-25uulm.conferenceStartDate
Conference end date2012-06-27uulm.conferenceEndDate
CommunityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
Bibliographyuulmuulm.bibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record