Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

Joseph Roland Kiniry, Fintan Fairmichael

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume5592
ISSN0302-9743
Publication statusPublished - 2009
Externally publishedYes
Event12th International Symposium on Component Based Software Engineering - East Stroudsburg, United States
Duration: 24 Jun 200926 Jun 2009

Conference

Conference12th International Symposium on Component Based Software Engineering
Country/TerritoryUnited States
CityEast Stroudsburg
Period24/06/200926/06/2009

Cite this