kirancodes.me
To Proof Maintenance & Beyond!

An Interactive Tool for Program Manipulation

Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent

No abstract available.

BibTeX
@inproceedings{Adam-al:ICSE81,
  author    = {Anne Adam and
               Paul Y. Gloess and
               Jean{-}Pierre H. Laurent},
  title     = {An Interactive Tool for Program Manipulation},
  booktitle = {ICSE},
  pages     = {460-},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}

Related papers