Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cerone, A., Curzon, P. Formal methods for interactive systems. Innovations Syst Softw Eng 4, 123 (2008). https://doi.org/10.1007/s11334-008-0051-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-008-0051-6