Verification: Theory and Practice
From MaRDI portal
Publication:5305639
DOI10.1007/b12001zbMath1274.68176OpenAlexW2483649756MaRDI QIDQ5305639
Saddek Bensalem, Susanne Graf, Yassine Lakhneche
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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software