Diseño y análisis formal de sistemas de software
FADOSS
Rheinisch-Westfälische Technische Hochschule Aachen University
Aquisgrán, AlemaniaRheinisch-Westfälische Technische Hochschule Aachen University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
1993
-
A demand driven computation strategy for lazy narrowing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)