Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 656
Edition: 2002
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540439978
ISBN 13: 9783540439974