Cited By
View all- Ishtiaq SO'Hearn P(2011)BI as an assertion language for mutable data structuresACM SIGPLAN Notices10.1145/1988042.198805046:4(84-96)Online publication date: 20-May-2011
- Conway CBarrett C(2010)Verifying low-level implementations of high-level datatypesProceedings of the 22nd international conference on Computer Aided Verification10.1007/978-3-642-14295-6_28(306-320)Online publication date: 15-Jul-2010
- Ray SRay S(2010)Connecting Different Proof StylesScalable Techniques for Formal Verification10.1007/978-1-4419-5998-0_6(81-92)Online publication date: 19-Apr-2010
- Show More Cited By