0 citations
Computer-Aided Verification
Lecture notes in computer science1991
Citations Over TimeTop 20% of 1991 papers
Related Papers
- → JastAdd—an aspect-oriented compiler construction system(2002)169 cited
- → Prolog - the language and its implementation compared with Lisp(1977)241 cited
- → On objects and events(2001)10 cited
- → Symbolic animation as a proof tool(1994)5 cited
- → Reversible Language Extensions and Their Application in Debugging(2013)