Вы здесь

Главная

Conference proceedings

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

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