Center
E.T.S.I. DE INFORMÁTICA
filter_list
Type (aggr.)
Articles
from 2002
to 2002
Software Engineering
2002
-
Debugging UML designs with model checking
Journal of Object Technology, Vol. 1, Núm. 2, pp. 101-117