A case study of C source code verification: the SchorrWaite algorithm (2005)

Cached

Download Links

by Thierry Hubert , Claude Marché
Venue:In 3rd IEEE Intl. Conf. SEFM’05
Citations:14 - 0 self