%0 Journal Article
%A T. Baar
%A S. Staroletov
%T A control flow graph based approach to make the~verification of cyber-physical systems using~KeYmaera easier
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 465-480
%V 25
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a1/
%G en
%F MAIS_2018_25_5_a1