Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The automatic detection of token structures and invariants using SAT checking

The automatic detection of token structures and invariants using SAT checking

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

Book Title
Proceedings of TACAS 2017
Year
2017

Links

See Also

Back to Top