QED at Large: A Survey of Engineering of Formally Verified Software

Opracowanie zbiorowe