Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. What can you Decide about Resetable Arrays?

What can you Decide about Resetable Arrays?

A. W. Roscoe and R. S. Lazic

Book Title
Proceedings of VCL 2001
Year
2001

Links

See Also

Back to Top