DOI10.1007/3-540-59293-8_220zbMath1496.68115OpenAlexW1569143756MaRDI QIDQ5096754
Jens Palsberg
Publication date: 18 August 2022 Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/3-540-59293-8_220
Mathematics Subject Classification ID
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work