Concepedia

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

Moshe Y. Vardi, Pierre Wolper

Logic in Computer Science · 1986 · 425 citations · 0 references

Concepts