Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Checking static properties using conservative approximations to reachability

Checking static properties using conservative approximations to reachability

Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe

Book Title
Proceedings of SBMF 2017
Year
2017

Links

See Also

Back to Top