Theoretical Computer Science
From MaRDI portal
Publication:5897373
DOI10.1007/b13810zbMath1257.68055OpenAlexW3144329707MaRDI QIDQ5897373
Annalisa Bossi, Damiano Macedonio, Sabina Rossi, Carla Piazza
Publication date: 23 February 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13810
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items