Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Local Reasoning for Stateful Programs

Local Reasoning for Stateful Programs

Hongseok Yang

Note
(Technical Report UIUCDCS−R−2001−2227)
School
University of Illinois at Urbana−Champaign
Year
2001

Links

See Also

Back to Top