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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is S. Böhme  [Clear All Filters]
Conference Paper
J. C. Blanchette, Böhme, S., Popescu, A., and Smallbone, N., “Encoding Monomorphic and Polymorphic Types”, in Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), 2013.