FM 2005: Formal Methods
From MaRDI portal
Publication:5716885
DOI10.1007/b27882zbMath1120.68384MaRDI QIDQ5716885
Christine Paulin-Mohring, June Andronick, Boutheina Chetali
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b27882
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software