%0 Generic
%T Formal Specification and Verification of Complex Systems1 1Work partially founded by Miur projectSP4.
%A Gnesi, S.
%I Elsevier BV
%@ 1571-0661
%K General Computer Science
%K Theoretical Computer Science
%D 2003
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation