A Verification-centric Software Development Process for Java

Joseph Roland Kiniry, Daniel Zimmerman

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

OriginalsprogEngelsk
Publikationsdato2009
StatusUdgivet - 2009
Udgivet eksterntJa
BegivenhedInternational Conference on Software Quality - Jeju, Sydkorea
Varighed: 24 aug. 2009 → 25 aug. 2009
Konferencens nummer: 9th

Konference

KonferenceInternational Conference on Software Quality
Nummer9th
Land/OmrådeSydkorea
ByJeju
Periode24/08/2009 → 25/08/2009

Citationsformater