A case study of C source code verification: the Schorr-Waite algorithm | IEEE Conference Publication | IEEE Xplore