An Interactive Verification System Based on Dynamic Logic. Hähnle, R., Heisel, M., Reif, W., & Stephan, W. In Proceedings 8th International Conference on Automated Deduction, of LNCS 230, pages 306–315, 1986. Springer.
An Interactive Verification System Based on Dynamic Logic [link]Paper  abstract   bibtex   
to be inserted
@INPROCEEDINGS{Hahnle1986,
     author = {H{\"{a}}hnle, Reiner and Heisel, Maritta and Reif, Wolfgang and Stephan, Werner},
     editor = {Siekmann, J{\"{o}}rg},
      title = {An Interactive Verification System Based on Dynamic Logic},
  booktitle = {Proceedings 8th International Conference on Automated Deduction},
     series = {LNCS 230},
     number = {230},
       year = {1986},
      pages = {306--315},
  publisher = {Springer},
        url = {http://www.springerlink.com/},
   abstract = {to be inserted},
showonweb={1},
}

Downloads: 0