Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Alur, R., Pappas, G.J. Introduction. Form Methods Syst Des 32, 1 (2008). https://doi.org/10.1007/s10703-007-0047-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-007-0047-0