%0 Conference Paper %1 conf/iwpc/RooverMGGD06 %A Roover, Coen De %A Michiels, Isabel %A Gybels, Kim %A Gybels, Kris %A D'Hondt, Theo %B ICPC %D 2006 %I IEEE Computer Society %K dblp %P 202-211 %T An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. %U http://dblp.uni-trier.de/db/conf/iwpc/icpc2006.html#RooverMGGD06 %@ 0-7695-2601-2

@inproceedings{conf/iwpc/RooverMGGD06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Roover, Coen De and Michiels, Isabel and Gybels, Kim and Gybels, Kris and D'Hondt, Theo}, biburl = {https://www.bibsonomy.org/bibtex/2f78b926fd4c4240991916520123cbd6e/dblp}, booktitle = {ICPC}, crossref = {conf/iwpc/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICPC.2006.10}, interhash = {02671cdb0de84925c74c6f39314a7e5a}, intrahash = {f78b926fd4c4240991916520123cbd6e}, isbn = {0-7695-2601-2}, keywords = {dblp}, pages = {202-211}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:08:07.000+0200}, title = {An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.}, url = {http://dblp.uni-trier.de/db/conf/iwpc/icpc2006.html#RooverMGGD06}, year = 2006 }