Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Model Checking Using Abstract Reasoning

Model Checking Using Abstract Reasoning

Rajdeep Mukherjee

Book Title
ACM SIGDA PhD Forum‚ Design Automation Conference
Year
2017

Links

See Also

Back to Top