PROSPER: An Investigation into Software Architecture for Embedded Proof Engines
Thomas F. Melham
Book Title
Frontiers of Combining Systems: 4th International Workshop‚ FroCoS 2002: Santa Margherita Ligure‚ Italy‚ April 8–10‚ 2002: Proceedings
Editor
Alessandro Armando
ISBN
3−540−43381−3
ISSN
0302−9743
Pages
193–206
Publisher
Springer−Verlag
Series
Lecture Notes in Artificial Intelligence
Volume
2309
Year
2002