%A Duc Hanh Dang
%T Validation of System Behavior from an Integrated Semantics of Use Case and Design Models
%D 2007
%I CEUR-WS.org
%P 1-5
%L SisLab1968
%V 262