Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990

• Other Authors: Clarke, E. M. (Editor), Kurshan, R. P. (Editor)
• Format: Book
• Language: English
• Published: berlin Springer-Verlag c1991
• Series: Lecture Notes in Computer Science / G. Goos and J. Hartmanis 531
• Subjects: COMPUTER SOFTWARE; COMPUTER > AIDED VERIFICATION; PROCEEDINGS; ΕΠΕΑΕΚ; ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ; LNCS
• Item Description: includes bibl. references
• Physical Description: xiii,372p. fig.
• ISBN: 3 540 54477 1