%0 Conference Paper %1 conf/isola/BuchholzBT04 %A Buchholz, Peter %A Bause, Falko %A Tepper, Carsten %B ISoLA (Preliminary proceedings) %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %E Philippou, Anna %E Reitenspieß, Manfred %I Department of Computer Science, University of Cyprus %K dblp %P 328-334 %T The ProC/B-Approach from informal descriptions to formal models. %U http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#BuchholzBT04 %V TR-2004-6

@inproceedings{conf/isola/BuchholzBT04, added-at = {2018-09-25T00:00:00.000+0200}, author = {Buchholz, Peter and Bause, Falko and Tepper, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/2c5e7ce7ba4b101607a47eeff5edf983c/dblp}, booktitle = {ISoLA (Preliminary proceedings)}, crossref = {conf/isola/2004i}, editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspieß, Manfred}, interhash = {9d398dfcd1f83b7c181d622ece1c66e5}, intrahash = {c5e7ce7ba4b101607a47eeff5edf983c}, keywords = {dblp}, pages = {328-334}, publisher = {Department of Computer Science, University of Cyprus}, series = {Technical Report}, timestamp = {2018-09-26T11:40:22.000+0200}, title = {The ProC/B-Approach from informal descriptions to formal models.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004i.html#BuchholzBT04}, volume = {TR-2004-6}, year = 2004 }