Interface Abstraction for Compositional Verification

Dilian Gurov; Marieke Huisman

doi:10.1109/SEFM.2005.24

Interface Abstraction for Compositional Verification

Dilian Gurov, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

12 Downloads (Pure)

Original language	English
Title of host publication	Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
Editors	Bernhard K. Aichernig, Bernhard Beckert
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	414-424
Number of pages	11
ISBN (Print)	0-7695-2435-4
DOIs	https://doi.org/10.1109/SEFM.2005.24
Publication status	Published - 2005

Publication series

Name	IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Publisher	IEEE
Volume	2005
ISSN (Print)	1551-0255
ISSN (Electronic)	2160-7656

Access to Document

10.1109/SEFM.2005.24

Cite this

Gurov, D., & Huisman, M. (2005). Interface Abstraction for Compositional Verification. In B. K. Aichernig, & B. Beckert (Eds.), Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany (pp. 414-424). (IEEE International Conference on Software Engineering and Formal Methods (SEFM); Vol. 2005). IEEE. https://doi.org/10.1109/SEFM.2005.24

Gurov, Dilian ; Huisman, Marieke. / Interface Abstraction for Compositional Verification. Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. editor / Bernhard K. Aichernig ; Bernhard Beckert. Piscataway, NJ : IEEE, 2005. pp. 414-424 (IEEE International Conference on Software Engineering and Formal Methods (SEFM)).

@inproceedings{f90948407778465088aae814f11ed25d,

title = "Interface Abstraction for Compositional Verification",

author = "Dilian Gurov and Marieke Huisman",

year = "2005",

doi = "10.1109/SEFM.2005.24",

language = "English",

isbn = "0-7695-2435-4",

series = "IEEE International Conference on Software Engineering and Formal Methods (SEFM)",

publisher = "IEEE",

pages = "414--424",

editor = "Aichernig, {Bernhard K.} and Bernhard Beckert",

booktitle = "Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany",

address = "United States",

}

Gurov, D & Huisman, M 2005, Interface Abstraction for Compositional Verification. in BK Aichernig & B Beckert (eds), Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE International Conference on Software Engineering and Formal Methods (SEFM), vol. 2005, IEEE, Piscataway, NJ, pp. 414-424. https://doi.org/10.1109/SEFM.2005.24

Interface Abstraction for Compositional Verification. / Gurov, Dilian; Huisman, Marieke.
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. ed. / Bernhard K. Aichernig; Bernhard Beckert. Piscataway, NJ: IEEE, 2005. p. 414-424 (IEEE International Conference on Software Engineering and Formal Methods (SEFM); Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Interface Abstraction for Compositional Verification

AU - Gurov, Dilian

AU - Huisman, Marieke

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-46149103697&partnerID=MN8TOARS

U2 - 10.1109/SEFM.2005.24

DO - 10.1109/SEFM.2005.24

M3 - Conference contribution

SN - 0-7695-2435-4

T3 - IEEE International Conference on Software Engineering and Formal Methods (SEFM)

SP - 414

EP - 424

BT - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany

A2 - Aichernig, Bernhard K.

A2 - Beckert, Bernhard

PB - IEEE

CY - Piscataway, NJ

ER -

Gurov D, Huisman M. Interface Abstraction for Compositional Verification. In Aichernig BK, Beckert B, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. Piscataway, NJ: IEEE. 2005. p. 414-424. (IEEE International Conference on Software Engineering and Formal Methods (SEFM)). doi: 10.1109/SEFM.2005.24

Interface Abstraction for Compositional Verification

Publication series

Access to Document

Other files and links

Cite this