Inproceedings,

VIS: A System for Verification and Synthesis.

, , , , , , , , , , , , , , , and .
CAV, volume 1102 of Lecture Notes in Computer Science, page 428-432. Springer, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews