Towards verification and testing of Java programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Towards verification and testing of Java programs
Συγγραφείς: de Melo, Ana C. V., Nunes, Paulo R. F., Xavier, Kleber S.
Πηγή: Proceedings of the 2008 ACM symposium on Applied computing. :730-734
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/1363686.1363858
Βάση Δεδομένων: ACM Full-Text Collection