Prufrock: a framework for constructing polytypic theorem provers. Ward, J., Kimmell, G., & Alexander, P. In Proceedings of Automated Software Engineering (ASE), pages 423-426, 2005.
Prufrock: a framework for constructing polytypic theorem provers [link]Paper  bibtex   
@inproceedings{ dblp3480735,
  title = {Prufrock: a framework for constructing polytypic theorem provers},
  author = {Justin Ward and Garrin Kimmell and Perry Alexander},
  author_short = {Ward, J. and Kimmell, G. and Alexander, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2005},
  key = {dblp3480735},
  id = {dblp3480735},
  biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/WardKA05},
  url = {http://doi.acm.org/10.1145/1101908.1101985},
  conference = {ASE},
  pages = {423-426},
  text = {ASE 2005:423-426},
  booktitle = {Proceedings of Automated Software Engineering (ASE)}
}

Downloads: 0