Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola
Editor Herausgeber_in
Publisher Verlag
Springer
DOI
10.1007/978-3-031-73709-1_10
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
15219
Results 1-1 of 1 (Search time: 0.002 seconds).