Verificación de propiedades de dominio mediante modelado preciso
Type: Spanish Conference
Place: V Jornadas de Trabajo DYNAMICA, Universidad Politécnica de Valencia, Valencia. ISBN: 84-690-2623-2
Publishing Date: .2006-11-23
Authors: Francisco J. Lucas
Ambrosio Toval Alvarez
F.J. Ruiz