Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aichernig, B., Beckert, B. Software engineering and formal methods. Softw Syst Model 7, 255–256 (2008). https://doi.org/10.1007/s10270-008-0091-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-008-0091-2