Lista de

An Introduction to Formal Software Development Using RAISE
1
An Introduction to Formal Software Development Using RAISE (1999). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación