%0 Conference Paper %1 conf/iceccs/Schulte07a %A Schulte, Wolfram %B ICECCS %D 2007 %I IEEE Computer Society %K %P 299 %T Experiments in Verifying Low Level Concurrent C Code. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#Schulte07a %@ 978-0-7695-2895-3

@inproceedings{conf/iceccs/Schulte07a, added-at = {2023-12-14T16:44:51.000+0100}, author = {Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/2b636df9021dfba7f9a6d992ade670759/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.22}, interhash = {fc93bfa5336abc182065307c8f1857de}, intrahash = {b636df9021dfba7f9a6d992ade670759}, isbn = {978-0-7695-2895-3}, keywords = {}, pages = 299, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:44:51.000+0100}, title = {Experiments in Verifying Low Level Concurrent C Code.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2007.html#Schulte07a}, year = 2007 }