%0 Journal Article %1 journals/jetai/HutterLRSSV00 %A Hutter, Dieter %A Langenstein, Bruno %A Rock, Georg %A Siekmann, Jörg H. %A Stephan, Werner %A Vogt, Roland %D 2000 %J J. Exp. Theor. Artif. Intell. %K dblp %N 4 %P 383-406 %T Formal software development in the Verification Support Environment (VSE). %U http://dblp.uni-trier.de/db/journals/jetai/jetai12.html#HutterLRSSV00 %V 12

@article{journals/jetai/HutterLRSSV00, added-at = {2014-10-07T00:00:00.000+0200}, author = {Hutter, Dieter and Langenstein, Bruno and Rock, Georg and Siekmann, Jörg H. and Stephan, Werner and Vogt, Roland}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27fa4d19b3ef70d924480de35a8b8ad81/dblp}, ee = {http://dx.doi.org/10.1080/095281300454784}, interhash = {85a26e0b2042b12229ad063ad13085db}, intrahash = {7fa4d19b3ef70d924480de35a8b8ad81}, journal = {J. Exp. Theor. Artif. Intell.}, keywords = {dblp}, number = 4, pages = {383-406}, timestamp = {2016-10-25T09:35:02.000+0200}, title = {Formal software development in the Verification Support Environment (VSE).}, url = {http://dblp.uni-trier.de/db/journals/jetai/jetai12.html#HutterLRSSV00}, volume = 12, year = 2000 }