Nuno Amálio, Pierre Kelsen. Modular Design by Contract Visually and Formally Using VCL. In Christopher D. Hundhausen, Emmanuel Pietriga, Paloma Díaz, Mary Beth Rosson, editors, IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings. pages 227-234, IEEE, 2010. [doi]