Interface Abstraction for Compositional Verification

Dilian Gurov, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationThird IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
EditorsBernhard K. Aichernig, Bernhard Beckert
Place of PublicationPiscataway, NJ
PublisherIEEE Computer Society Press
Pages414-424
Number of pages11
ISBN (Print)0-7695-2435-4
DOIs
Publication statusPublished - 2005

Publication series

NameIEEE International Conference on Software Engineering and Formal Methods (SEFM)
PublisherIEEE
Volume2005
ISSN (Print)1551-0255
ISSN (Electronic)2160-7656

Cite this