Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science Book 11561)
| Country | USA |
| Brand | Saysurey |
| Manufacturer | Saysurey |
| Binding | Unknown Binding |
| Color | Black |
| ReleaseDate | 0000-00-00 |