Rights and permissions
About this article
Cite this article
Clarke, E. Editorial. Formal Methods in System Design 10, 5 (1997). https://doi.org/10.1023/A:1008659413372
Issue Date:
DOI: https://doi.org/10.1023/A:1008659413372
35 Accesses
This is a preview of subscription content, log in via an institution to check access.
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Instant access to the full article PDF.
Rent this article via DeepDyve
You can also search for this author in PubMed Google Scholar
Clarke, E. Editorial. Formal Methods in System Design 10, 5 (1997). https://doi.org/10.1023/A:1008659413372
Issue Date:
DOI: https://doi.org/10.1023/A:1008659413372
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative