Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is M and Author is J. C. Blanchette  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
J. C. Blanchette and Popescu, A., “Mechanizing the Metatheory of Sledgehammer”, in Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCos 2013), 2013.
J. C. Blanchette, Popescu, A., Wand, D., and Weidenbach, C., “More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification”, in Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012), 2012.