HutterLRSSV00'

BibTeX

@article{DBLP:journals/jetai/HutterLRSSV00,
  author    = {Dieter Hutter and
               Bruno Langenstein and
               Georg Rock and
               J{\"o}rg H. Siekmann and
               Werner Stephan and
               Roland Vogt},
  title     = {Formal software development in the Verification Support
               Environment (VSE)},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {12},
  number    = {4},
  year      = {2000},
  pages     = {383-406},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}