JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “del Mar Gallardo”
María del Mar Gallardo
,
Pedro Merino
,
Ernesto Pimentel
,
Debugging UML Designs with Model Checking
, pp. 101-117,
PDF
,
HTML
,
DOI
.
Volume 1, no. 2 (July 2002)