Marat Kh. Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson. Software defect detection by combining bounded model checking and approximations of functions. Automatic Control and Computer Sciences, 48(7):389-397, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.