%0 Generic
%T Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
%A Gotsman, Alexey
%A Massacci, Fabio
%A Pistore, Marco
%I Elsevier BV
%@ 1571-0661
%K General Computer Science
%K Theoretical Computer Science
%D 2005
%C Elsevier BV
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation