Gå til søgefeltetSpring over til navigationSpring til hovedindhold

A Verification-centric Software Development Process for Java

  • Joseph Roland Kiniry
    ,
  • Daniel Zimmerman
Publikation:
Konferencebidrag - EJ publiceret i proceeding eller tidsskrift
Paper
 Peer-review

Publikation information

Produktionstype

Publikation:
Konferencebidrag - EJ publiceret i proceeding eller tidsskrift
Paper
 Peer-review

Originalsprog

Engelsk

Publikationsmilepæle

  • Udgivet - 2009

Publikationsstatus

Udgivet - 2009

Publication IDs

  • Scopus: 77950615057

Metrikker

PlumX

Citationer
10
Hentninger
19

Relateret event

Titel

International Conference on Software Quality

Begivenhedstype

Konference

Grad af anerkendelse

International begivenhed

Dato

24/08/2009 - 25/08/2009

Lokation

JejuSydkorea