Login / Signup

Software defect detection by combining bounded model checking and approximations of functions.

Marat Kh. AkhinMikhail A. BelyaevVladimir M. Itsykson
Published in: Autom. Control. Comput. Sci. (2014)
Keyphrases