litlas
ログインアカウント作成

Axiomatic Approach to Total Correctness of Programs

著者: Zohar Manna, Amir Pnueli - Acta Informatica 1973 被引用: 99

Axiomatic Approach to Total Correctness of Programs | Litlas