Conference
ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification
Title
Generating inductive shape predicates for runtime checking and formal verification
Publication type
Proceedings paper
Embargo date
9999-12-31