%0 Journal Article
%A Vosátka, Karel
%T Intermittent-assertion method as a structural induction
%J Kybernetika
%D 1979
%P -135
%V 15
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KYB_1979__15_2_a3/
%G en
%F KYB_1979__15_2_a3