Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
Saved in:
| Meeting name: | VMCAI 2009 (2009 : Savannah, Ga.) |
|---|---|
| Imprint: | Berlin : Springer, ©2009. |
| Description: | 1 online resource (xi, 380 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 5403 LNCS sublibrary: SL 1 -- Theoretical computer science and general issuess Lecture notes in computer science ; 5403. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11071763 |