The VeriFast program verifier. Jacobs, B. & Piessens, F. Technical Report CW520, Katholieke Universiteit Leuven, 2008.
bibtex   
@techreport{JacobsP08,
	Author = {B. Jacobs and F. Piessens},
	Institution = {Katholieke Universiteit Leuven},
	Number = {CW520},
	Title = {The {VeriFast} program verifier},
	Year = 2008}

Downloads: 0