Concepedia

Publication | Open Access

An Automata-Theoretic Approach to Automatic Program Verification

Full Paper Access

1.3K

Citations

0

References

1986

Year

Moshe Y. Vardi, Pierre Wolper
Open Repository and Bibliography (University of Liège)

Abstract

peer reviewed