Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings /
Saved in:
Imprint: | Berlin ; Heidelberg : Springer-Verlag, 1997. |
---|---|
Description: | 1 online resource. |
Language: | English |
Series: | Lecture Notes in Computer Science ; 1254, 0302-9743 Lecture notes in computer science ; 1254, |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11076525 |