TY  - JOUR
AU  - Fernando Valles-Barajas
TI  - Using Lightweight Formal Methods to Model Class and Object Diagrams
JO  - Computer Science and Information Systems
PY  - 2012
VL  - 9
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2012_9_1_a18/
ID  - CSIS_2012_9_1_a18
ER  -