Author

Profile picture
Iman Poernomo
School of Computer Science and Software Engineering, Monash University
Australia
1 article by this author
Sort by:
Research Article
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
John Crossley, Iman Poernomo
10.3217/jucs-007-01-0071
 28-01-2001
 Unique: 351 | Total: 413  | Access Period:
 71-88
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK