DOI10.1007/3-540-45719-4_31zbMath1275.68061OpenAlexW2126433482MaRDI QIDQ2996123
Mats Skoglund
Publication date: 6 May 2011 Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/3-540-45719-4_31
Mathematics Subject Classification ID
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
