13th IEEE International Conference on Automated Software Engineering (ASE'98) Don't Verify, Abstract! Honolulu, Hawaii October 13-October 16 ISBN: 0-8186-8750-9
Citation:
C. O'Halloran, A. Smith, "Don't Verify, Abstract!," ase, pp.53, 13th IEEE International Conference on Automated Software Engineering (ASE'98), 1998 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||