%0 Conference Paper %1 conf/csmr/KellensSDJP09 %A Kellens, Andy %A Schutter, Kris De %A D'Hondt, Theo %A Jorissen, Luc %A Passel, Bart Van %B CSMR %D 2009 %E Winter, Andreas %E Ferenc, Rudolf %E Knodel, Jens %I IEEE Computer Society %K dblp %P 199-208 %T Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems. %U http://dblp.uni-trier.de/db/conf/csmr/csmr2009.html#KellensSDJP09 %@ 978-0-7695-3589-0

@inproceedings{conf/csmr/KellensSDJP09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kellens, Andy and Schutter, Kris De and D'Hondt, Theo and Jorissen, Luc and Passel, Bart Van}, biburl = {https://www.bibsonomy.org/bibtex/29186f6d3847251c1a198537ad360fa51/dblp}, booktitle = {CSMR}, crossref = {conf/csmr/2009}, editor = {Winter, Andreas and Ferenc, Rudolf and Knodel, Jens}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSMR.2009.9}, interhash = {2ffc34ec263b947f7d00ae2c83e8e34e}, intrahash = {9186f6d3847251c1a198537ad360fa51}, isbn = {978-0-7695-3589-0}, keywords = {dblp}, pages = {199-208}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:08:29.000+0200}, title = {Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems.}, url = {http://dblp.uni-trier.de/db/conf/csmr/csmr2009.html#KellensSDJP09}, year = 2009 }