Software Foundations Vol 5: Verifiable C

By: Andrew W Appel   Lennart Beringer   Qinxiang Cao  

Tags: C   Software engineering  

Read online