Don’t Miss the End: Preventing Unsafe End-of-File Comparisons

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_6 ◽

2018 ◽

pp. 87-94 ◽

Author(s):

Charles Zhuo Chen ◽

Werner Dietl

Download Full-text