devlibrary
Authors
/ Andrew W Appel
Software Foundations Vol 5: Verifiable C
by
Andrew W Appel
,
Lennart Beringer
,
Qinxiang Cao
Software engineering
C
Read
Software Foundations Vol 3: Verified Functional Algorithms
by
Andrew W Appel
Software engineering
Read