A case study of c source code verification: the schorr-waite algorithm (2005)

by T Hubert, C Marché
Venue:Software Engineering and Formal Methods