Cited By
View all- Karbyshev ABjørner NItzhaky SRinetzky NShoham S(2017)Property-Directed Inference of Universal Invariants or Proving Their AbsenceJournal of the ACM10.1145/302218764:1(1-33)Online publication date: 29-Mar-2017
- Jianhua ZXuandong L(2013)Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data StructuresTheoretical Aspects of Computing – ICTAC 201310.1007/978-3-642-39718-9_24(409-426)Online publication date: 2013
- Rajlich V(2005)Theory of data structures by relational and graph grammarsAutomata, Languages and Programming10.1007/3-540-08342-1_31(391-411)Online publication date: 24-May-2005
- Show More Cited By