A Relational Shape Abstract Domain

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-57288-8_15 ◽

2017 ◽

pp. 212-229 ◽

Author(s):

Hugo Illous ◽

Matthieu Lemerre ◽

Xavier Rival

Download Full-text