Computer Aided Verification
Subtitle: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 496
ISBN-13: 9783662194027
Notes: Source title: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings