Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Inside FDR (abstract of invited talk)

Inside FDR (abstract of invited talk)

Michael Goldsmith

Book Title
Pre−Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)
Pages
11
Year
2012

Links

See Also

Back to Top