Conference
View in EDS

Towards verification and testing of Java programs

Bibliographic Details
Title: Towards verification and testing of Java programs
Authors: de Melo, Ana C. V., Nunes, Paulo R. F., Xavier, Kleber S.
Source: Proceedings of the 2008 ACM symposium on Applied computing. :730-734
Availability: http://dl.acm.org/doi/10.1145/1363686.1363858
Database: ACM Full-Text Collection
Description
DOI:10.1145/1363686.1363858