Software Foundations Vol 5: Verifiable C

by Andrew W Appel, Lennart Beringer, Qinxiang Cao
Software engineering C
Read online