Verisim.

Authors :: Bhargavan, Karthikeyan
Gunter, Carl A.
Kim, Moonjoo
Lee, Insup
Obradovic, Davor
Sokolsky, Oleg
Viswanathan, Mahesh
Source :: Proceedings of the 2000 ACM SIGSOFT International Symposium: Software Testing & Analysis; 8/1/2000, p2-13, 12p
Publication Year :: 2000

Language :: English
ISBNs :: 9781581132663
Database :: Complementary Index
Journal :: Proceedings of the 2000 ACM SIGSOFT International Symposium: Software Testing & Analysis
Publication Type :: Conference
Accession number :: 101211843
Full Text :: https://doi.org/10.1145/347324.347833