taliaringer

↗ HN profile [ 30.3 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 6y ago 3