Inproceedings,

Experience with Four Automated Verification Systems.

.
PSTV, page 373-379. North-Holland, (1982)

Meta data

Tags

Users

  • @dblp

Comments and Reviews