Вы здесь

Главная

PSI 09 IW on Program Understanding

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

F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language
Towards C-light Program Verification: Overcoming the Obstacles