PROSPER: An Investigation into Software Architecture for Embedded Proof Engines (Frontiers of Combining Systems: 4th International Workshop‚ FroCoS 2002: Santa Margherita Ligure‚ Italy‚ April 8–10‚ 2002: Proceedings, 2002)

(untitled) - Melham, T