%0 Journal Article
%A Fernando Valles-Barajas
%T Using Lightweight Formal Methods to Model Class and Object Diagrams
%J Computer Science and Information Systems
%D 2012
%V 9
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/
%F CSIS_2012_9_1_a18