|
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
by
|
|
|
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
by
0.00 avg rating — 0 ratings
|
|
|
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected ... Notes in Computer Science Book 12031)
by
0.00 avg rating — 0 ratings
|
|
|
The Travel Tales of a Nomadic Medic — 30 Exhilarating Travel Stories
by
0.00 avg rating — 0 ratings
|
|
|
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
by
0.00 avg rating — 0 ratings
—
published
2012
|
|
|
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science Book 7561)
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.