Show simple item record

AuthorReif, Wolfgangdc.contributor.author
AuthorStenzel, Kurtdc.contributor.author
Date of accession2020-03-31T09:00:55Zdc.date.accessioned
Available in OPARU since2020-03-31T09:00:55Zdc.date.available
Date of first publication1996dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleReuse of Proofs in Software Verificationdc.title
Resource typeWissenschaftlicher Artikeldc.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/BF02745521dc.identifier.doiExternal
Source - Title of sourceSADHANAsource.title
Source - Place of publicationIndian Academy of Sciencessource.publisher
Source - Volume21source.volume
Source - Issue2source.issue
Source - Year1996source.year
Source - From page229source.fromPage
Source - To page244source.toPage
Source - eISSN0973-7677source.identifier.eissn
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