%0 Journal Article
%A Klimek, R.
%T A system for deduction-based formal verification of workflow-oriented software models
%J International Journal of Applied Mathematics and Computer Science
%D 2014
%P 941-956
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2014_24_4_a17/
%G en
%F IJAMCS_2014_24_4_a17