Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
University of Innsbruck
Innsbruck, AustriaPublicaciones en colaboración con investigadores/as de University of Innsbruck (1)
2008
-
A mechanized proof of the Basic Perturbation Lemma
Journal of Automated Reasoning, Vol. 40, Núm. 4, pp. 271-292