%0 Conference Paper %1 conf/tacas/BraunLSS00 %A Braun, Peter %A Lötzbeyer, Heiko %A Schätz, Bernhard %A Slotosch, Oscar %B TACAS %D 2000 %E Graf, Susanne %E Schwartzbach, Michael I. %I Springer %K dblp %P 48-62 %T Consistent Integration of Formal Methods. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2000.html#BraunLSS00 %V 1785 %@ 3-540-67282-6

@inproceedings{conf/tacas/BraunLSS00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Braun, Peter and Lötzbeyer, Heiko and Schätz, Bernhard and Slotosch, Oscar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b1203892582f7d595950d7eb70ab30e7/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2000}, editor = {Graf, Susanne and Schwartzbach, Michael I.}, ee = {https://doi.org/10.1007/3-540-46419-0_5}, interhash = {49b3e1ac4003d858aaee9e6b169d756c}, intrahash = {b1203892582f7d595950d7eb70ab30e7}, isbn = {3-540-67282-6}, keywords = {dblp}, pages = {48-62}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:33.000+0200}, title = {Consistent Integration of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2000.html#BraunLSS00}, volume = 1785, year = 2000 }