![](/img/cover-not-exists.png)
C-programs verification based on mixed axiomatic semantics
I. S. Anureev, I. V. Maryasov, V. A. NepomniaschyVolume:
45
Language:
english
Pages:
16
DOI:
10.3103/s0146411611070029
Date:
December, 2011
File:
PDF, 276 KB
english, 2011