booktheque

Iman Hafiz Poernomo

2 books in the database

Books

Adapting proofs-as-programs
Iman Hafiz Poernomo · 2005
Adapting Proofs-as-Programs
Iman Hafiz Poernomo · 2005