taliaringer

↗ HN profile [ 32.2 ms ] full profile

Karma: 16
Created: June 8, 2018 (8y ago)
Submissions: 0

QED at Large: A Survey of Engineering of Formally Verified Software (nowpublishers.com)

7 points 7y ago 3