%0 Conference Paper %1 roover06documentation %A Roover, Coen De %A Michiels, Isabel %A Gybels, Kim %A Gybels, Kris %A D'Hondt, Theo %B ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC'06) %C Washington, DC, USA %D 2006 %I IEEE Computer Society %K cites.ref state.unclassified %P 202--211 %T An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification %U http://dx.doi.org/10.1109/ICPC.2006.10 %@ 0-7695-2601-2

@inproceedings{roover06documentation, added-at = {2008-08-17T17:02:50.000+0200}, address = {Washington, DC, USA}, author = {Roover, Coen De and Michiels, Isabel and Gybels, Kim and Gybels, Kris and D'Hondt, Theo}, biburl = {https://www.bibsonomy.org/bibtex/2d7e434253db4b7fdaa4ef490d0ae53c6/msn}, booktitle = {ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC'06)}, description = {http://portal.acm.org/citation.cfm?id=1136183}, interhash = {02671cdb0de84925c74c6f39314a7e5a}, intrahash = {d7e434253db4b7fdaa4ef490d0ae53c6}, isbn = {0-7695-2601-2}, keywords = {cites.ref state.unclassified}, pages = {202--211}, publisher = {IEEE Computer Society}, timestamp = {2009-06-25T15:59:19.000+0200}, title = {An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification}, url = {http://dx.doi.org/10.1109/ICPC.2006.10}, year = 2006 }