devlibrary
Software Foundations Vol 5: Verifiable C
By:
Andrew W Appel
Lennart Beringer
Qinxiang Cao
Tags:
C
Software engineering
Read online