A Verification-centric Software Development Process for Java
- Joseph Roland Kiniry,
- Daniel Zimmerman
Publikation:
Konferencebidrag - EJ publiceret i proceeding eller tidsskrift
Paper
Peer-reviewPublikation information
Produktionstype
Publikation:
Konferencebidrag - EJ publiceret i proceeding eller tidsskrift
Paper
Peer-reviewOriginalsprog
EngelskPublikationsmilepæle
- Udgivet - 2009
Publikationsstatus
Udgivet - 2009
Publication IDs
- Scopus: 77950615057
Metrikker
PlumX
Hentninger
19
Citationer
10
Relateret event
Titel
International Conference on Software Quality
Begivenhedstype
KonferenceGrad af anerkendelse
International begivenhedDato
24/08/2009 - 25/08/2009Lokation
JejuSydkorea
