A Verification-centric Software Development Process for Java

Joseph Roland Kiniry, Daniel Zimmerman

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Original languageEnglish
Publication date2009
Publication statusPublished - 2009
Externally publishedYes
EventInternational Conference on Software Quality - Jeju, Korea, Republic of
Duration: 24 Aug 2009 → 25 Aug 2009
Conference number: 9th

Conference

ConferenceInternational Conference on Software Quality
Number9th
Country/TerritoryKorea, Republic of
CityJeju
Period24/08/2009 → 25/08/2009

Cite this