Rights and permissions
About this article
Cite this article
Boiten, E., Derrick, J. & Smith, G. Guest Editorial Integrated Formal Methods. Form Asp Comp 17, 389 (2005). https://doi.org/10.1007/s00165-005-0078-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-005-0078-5