Crossmark

Automatic C program verification based on mixed axiomatic semantics

Crossref DOI link: https://doi.org/10.3103/S0146411614070141

Published Online: 2015-02-01

Published Print: 2014-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Maryasov, I. V.

Nepomnyaschy, V. A.

Promsky, A. V.

Kondratyev, D. A.
License Information

Text and Data Mining valid from 2014-12-01