Adapting Proofs-as-Programs More Books by Iman Poernomo, John N. Crossley & Martin Wirsing

Component-Based Software Engineering

2009