Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.). by Series: Lecture notes in computer science ; 7561. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • ATVA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers / Supratik Chakraborty, Jorge A. Navas, editors. by Series: Lecture notes in computer science ; 12031. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Other title:
  • VSTTE 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha