DMCA

Towards a theory for integration of mathematical verification and empirical testing (1998)

Cached

Download Links

by Michael Lowry , Mark Boyd , Deepak Kulkarni
Venue:In Proceedings, ASE’98: Automated Software Engineering
Citations:20 - 0 self