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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is W and Author is D. Wand  [Clear All Filters]
Conference Paper
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.