Books by Talia Ringer
Talia Ringer
Filter
QED at Large
A Survey of Engineering of Formally Verified Software
Talia Ringer
Paperback
Published:
2019