Alessandro Armando;Michael Kohlase;Silvio Ranise
-;-;-
PROSPER - An Investigation into Software Architecture for Embedded Proof Engines
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems