An automata--theoretic approach to automatic program verification

Vardi, M.Y. | Wolper, P.

Feb-1-1986–Classics

While program verification was always a. desirable, but never an easy task, the advent of concurrent

artificial intelligence, logic & formal reasoning, logic programming, (19 more...)

Feb-1-1986

Country:
- North America > United States > California > Santa Clara County > Stanford (0.04)

Technology:
- Information Technology
  - Software Engineering (0.71)
  - 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