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