Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. von Bochmann, G. & Probst, D. K., editors Volume 663of Lecture Notes in Computer ScienceSpringer. 1993.
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings [link]Paper  doi  bibtex   
@proceedings{DBLP:conf/cav/1992,
  editor    = {Gregor von Bochmann and
               David K. Probst},
  title     = {Computer Aided Verification, Fourth International Workshop, {CAV}
               '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {663},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56496-9},
  doi       = {10.1007/3-540-56496-9},
  isbn      = {3-540-56496-9},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0