Inproceedings,

An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

, and .
LICS, page 332-344. IEEE Computer Society, (1986)

Meta data

Tags

Users

  • @giuliano.losa
  • @dblp

Comments and Reviews