Вы здесь

Главная

Nizhni Novgorod

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

Affine Model Checking Multi-agent Sliding Window Protocol
Deductive Approach to Verification of Telecommunication Systems Written in C
Deductive Verification of the Classical Sliding Window Protocol
Program Semantics, Specification and Verification: Theory and Application: Proc./Third Workshop of 7th International Computer Science Symposium in Russia, Nizhni Novgorod, Russia, July 2012
Revised Mixed Axiomatic Semantics Method of C Program Verification
Using Esoteric Language for Teaching Formal Semantics
Verifying the Standard C Library: the C-light Approach