%0 Conference Paper %1 conf/cascon/KhendekB93 %A Khendek, Ferhat %A von Bochmann, Gregor %B CASCON %D 1993 %E Gawman, Ann %E Kidd, Evelyn %E Larson, Per-Åke %I IBM %K dblp %P 184-193 %T Formal specifications design, evolution and reuse. %U http://dblp.uni-trier.de/db/conf/cascon/cascon1993.html#KhendekB93

@inproceedings{conf/cascon/KhendekB93, added-at = {2018-11-30T00:00:00.000+0100}, author = {Khendek, Ferhat and von Bochmann, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/2178cb6ab9d1cd1c8a4f0dc094df26048/dblp}, booktitle = {CASCON}, crossref = {conf/cascon/1993}, editor = {Gawman, Ann and Kidd, Evelyn and Larson, Per-Åke}, ee = {https://dl.acm.org/citation.cfm?id=962306}, interhash = {71e60fd18a6f5f9cbc6666af4a61cb79}, intrahash = {178cb6ab9d1cd1c8a4f0dc094df26048}, keywords = {dblp}, pages = {184-193}, publisher = {IBM}, timestamp = {2018-12-01T12:59:11.000+0100}, title = {Formal specifications design, evolution and reuse.}, url = {http://dblp.uni-trier.de/db/conf/cascon/cascon1993.html#KhendekB93}, year = 1993 }