Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
University of Innsbruck
Innsbruck, AustriaPublications en collaboration avec des chercheurs 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