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
Peer-reviewPublication Information
Output type
Research Output:
Contribution to conference - NOT published in proceeding or journal
Paper
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 2009
Publication status
Published - 2009
Publication IDs
- Scopus: 77950615057
Publication metrics
PlumX
Citation count
10
Captures
19
Related Event
Title
International Conference on Software Quality
Event type
ConferenceDegree of recognition
International eventDate
24/08/2009 - 25/08/2009Location
JejuKorea, Republic of