%0 Conference Paper %1 conf/icst/DhaussyABBL08 %A Dhaussy, Philippe %A Auvray, Julien %A de Belloy, Stéphane %A Boniol, Frédéric %A Landel, Eric %B ICST Workshops %D 2008 %I IEEE Computer Society %K dblp %P 89-96 %T Using context descriptions and property definition patterns for software formal verification. %U http://dblp.uni-trier.de/db/conf/icst/icstw2008.html#DhaussyABBL08 %@ 978-0-7695-3388-9

@inproceedings{conf/icst/DhaussyABBL08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Dhaussy, Philippe and Auvray, Julien and de Belloy, Stéphane and Boniol, Frédéric and Landel, Eric}, biburl = {https://www.bibsonomy.org/bibtex/25df599376f2b09eefee83a393b9c701b/dblp}, booktitle = {ICST Workshops}, crossref = {conf/icst/2008w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSTW.2008.52}, interhash = {b1efe7e3dc3391358c08834131ad8749}, intrahash = {5df599376f2b09eefee83a393b9c701b}, isbn = {978-0-7695-3388-9}, keywords = {dblp}, pages = {89-96}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:16:47.000+0200}, title = {Using context descriptions and property definition patterns for software formal verification.}, url = {http://dblp.uni-trier.de/db/conf/icst/icstw2008.html#DhaussyABBL08}, year = 2008 }