Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Michael Goldsmith and Irfan Zakiuddin

Book Title
Applied Formal Methods—FM−Trends 98
Organisation
Springer Berlin/Heidelberg
Pages
243–250
Year
1999

Links

See Also

Back to Top