Amalio, Nuno ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
The Type System of VCL Structural and Assertion Diagrams
Publication date :
2011
Publisher :
Laboratory for Advanced Software Systems, Luxembourg, Luxembourg
