Walkabout Revisited: The Runabout
No abstract available.
Related papers
- Lazy Annotation Revisited CAV 2014
- The Expression Problem Revisited ECOOP 2004
- Coupled software transformations revisited SLE 2016
- Simulation Revisited TACAS 2001
- Module Checking Revisited CAV 1997
- Automata-Theoretic Model Checking Revisited VMCAI 2007
- The Recursive Record Semantics of Objects Revisited ESOP 2001
- Revisiting Enumerative Instantiation TACAS 2018