%0 Generic
%T Cobra: a light-weight tool for static and dynamic program analysis
%A Holzmann, Gerard J.
%I Springer Science and Business Media LLC
%@ 1614-5046
%@ 1614-5054
%K Software
%D 2017
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation