Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hu, Alan J. (Editor, http://id.loc.gov/vocabulary/relators/edt), Vardi, Moshe Y. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1427
• Subjects: Software engineering.; Computers.; Computer logic.; Mathematical logic.; Logic design.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Logic Design.

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also incl...