%0 Journal Article
%A Marat Akhin
%A Mikhail Belyaev
%A Vladimir Itsykson
%T Defect Detection: Combining Bounded Model Checking and Code Contracts
%J Modelirovanie i analiz informacionnyh sistem
%D 2013
%P 22-35
%V 20
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a1/
%G ru
%F MAIS_2013_20_6_a1