%0 Conference Paper %1 conf/sefm/HubertM05 %A Hubert, Thierry %A Marché, Claude %B SEFM %D 2005 %E Aichernig, Bernhard K. %E Beckert, Bernhard %I IEEE Computer Society %K dblp %P 190-199 %T A case study of C source code verification: the Schorr-Waite algorithm. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#HubertM05 %@ 0-7695-2435-4

@inproceedings{conf/sefm/HubertM05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hubert, Thierry and Marché, Claude}, biburl = {https://www.bibsonomy.org/bibtex/2c8faaedf8850debb22548792b37ef9ce/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2005}, editor = {Aichernig, Bernhard K. and Beckert, Bernhard}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2005.1}, interhash = {74536183495a58924a5099245e79fff6}, intrahash = {c8faaedf8850debb22548792b37ef9ce}, isbn = {0-7695-2435-4}, keywords = {dblp}, pages = {190-199}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:19.000+0200}, title = {A case study of C source code verification: the Schorr-Waite algorithm.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#HubertM05}, year = 2005 }