Practical Void Safety

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-319-72308-2_9 ◽

2017 ◽

pp. 132-151

Author(s):

Alexander Kogtenkov

Download Full-text