Book details

Software Foundations Vol 5: Verifiable C

by Andrew W Appel , Lennart Beringer , Qinxiang Cao

Topics: Software engineering , C