Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for "Nordio, Darío Martín"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Proofs and proof transformations for object-oriented programs

Nordio, Darío Martín (2009)

Doctoral and Habilitation Theses