Computer Aided Verification
Subtitle: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540278139
Subjects: Computer software, testing