Results
|
|
1.
|
Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers / edited by Andrei Paskevich, Thomas Wies. by Series: Lecture notes in computer science ; 10712. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / Bernd Finkbeiner, Thomas Wies (eds.). by Series: Lecture notes in computer science ; 13182. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2022
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
|
|
|
4.
|
Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / Thomas Wies, editor. by Series: Lecture notes in computer science ; 13990. | 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).
|