Results
|
|
1.
|
|
|
|
2.
|
Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers / Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.). by Series: Lecture notes in computer science ; 13124. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Cham : Springer, 2022
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part II / Sriram Sankaranarayanan, Natasha Sharygina, editors. by Series: Lecture notes in computer science ; 13994. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2023]
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings. Part I / Sriram Sankaranarayanan, Natasha Sharygina, editors. by Series: Lecture notes in computer science ; 13993. | Lecture notes in computer science. Advanced research in computing and software science.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2023]
Availability: Items available for loan: e-Library (1).
|