Formalizing and Implementing Gries's Program Development Method in Dynamic Logic. Heisel, M. Science of Computer Programming, 18:107–137, 1992.
abstract   bibtex   
to be inserted
@ARTICLE{Heisel1992a,
    author = {Heisel, Maritta},
     title = {Formalizing and Implementing {G}ries's Program Development Method in Dynamic Logic},
   journal = {Science of Computer Programming},
    volume = {18},
      year = {1992},
     pages = {107--137},
  abstract = {to be inserted},
showonweb={1},
}

Downloads: 0