An automata--theoretic approach to automatic program verification

Vardi, M.Y. | Wolper, P.

Feb-1-1986–Classics

Proc. IEEE Symp. on Logic in Computer Science}, Boston, June 1986, pp. 332--344.

artificial intelligence, computation, logic programming, (19 more...)

Feb-1-1986

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.36)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found