Verification: Theory and Practice
From MaRDI portal
Publication:5305656
DOI10.1007/b12001zbMath1274.68188OpenAlexW2483649756MaRDI QIDQ5305656
Elsa L. Gunter, Doron A. Peled
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software