%0 Conference Paper %1 conf/kbse/HutterS01 %A Hutter, Dieter %A Schairer, Axel %B ASE %D 2001 %I IEEE Computer Society %K dblp %P 417-420 %T Towards an Evolutionary Formal Software Development. %U http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#HutterS01 %@ 0-7695-1426-X

@inproceedings{conf/kbse/HutterS01, added-at = {2015-08-14T00:00:00.000+0200}, author = {Hutter, Dieter and Schairer, Axel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2edcb525fdbf163fe9196b0739abf4294/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989842}, interhash = {819d871af1d31a7311a21e9315488089}, intrahash = {edcb525fdbf163fe9196b0739abf4294}, isbn = {0-7695-1426-X}, keywords = {dblp}, pages = {417-420}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:12:38.000+0100}, title = {Towards an Evolutionary Formal Software Development.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#HutterS01}, year = 2001 }