Results
|
121.
|
|
|
122.
|
|
|
123.
|
|
|
124.
|
|
|
125.
|
|
|
126.
|
|
|
127.
|
|
|
128.
|
|
|
129.
|
|
|
130.
|
|
|
131.
|
|
|
132.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14500
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
133.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14499
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
|
|
134.
|
|
|
135.
|
|
|
136.
|
|
|
137.
|
|
|
138.
|
|
|
139.
|
|
|
140.
|
|