Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68369OpenAlexW4300984554MaRDI QIDQ5395111

Fausto Spoto

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11560647

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Optimality and condensing of information flow through linear refinement

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005