@article{MM19EPTCS,
  author  =  "Paolo Masci and C{\'{e}}sar Mu{\~{n}}oz",
  title   =  "An Integrated Development Environment for the {P}rototype {V}erification {S}ystem",
  journal =  "Electronic Proceedings in Theoretical Computer Science",
  year    =  "2019",
  volume  =  "310",
  pages   =  "35--49",
  doi     =  "10.4204/EPTCS.310.5"
}