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