Вы здесь

Главная

Higher Order Logic Theorem Proving and Its Applications

Связанные издания:

A Hierarchical Method for Reasoning about Distributed Programming Languages
Formal Verification of Counterflow Pipeline Architecture
Interfacing HOL90 with a Functional Database Query Language