%0 Conference Paper %1 conf/eurodac/GablerM95 %A Gabler, Thomas %A März-Rössel, Sabine %B EURO-DAC %D 1995 %E Musgrave, Gerald %I IEEE Computer Society %K dblp %P 368-373 %T An approach to guided incremental specification. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#GablerM95 %@ 0-8186-7156-4

@inproceedings{conf/eurodac/GablerM95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gabler, Thomas and März-Rössel, Sabine}, biburl = {https://www.bibsonomy.org/bibtex/2cdb331d57edc2f1cf5bb99ebe50dcac3/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1995}, editor = {Musgrave, Gerald}, ee = {http://dl.acm.org/citation.cfm?id=224348}, interhash = {70671039b33ddcb8eb065a3dcc3d7eb5}, intrahash = {cdb331d57edc2f1cf5bb99ebe50dcac3}, isbn = {0-8186-7156-4}, keywords = {dblp}, pages = {368-373}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:05:25.000+0200}, title = {An approach to guided incremental specification.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#GablerM95}, year = 1995 }