Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cuellar, J., Liu, Z. SoSyM Special Section on Software Engineering and Formal Methods. Softw Syst Model 6, 37–38 (2007). https://doi.org/10.1007/s10270-006-0010-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-006-0010-3