Вы здесь

Home » Издательства

Publ.House of the Nizhni Novgorod State University

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

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
Verifying the Standard C Library: the C-light Approach