Search Results for 'steffen 2011'
steffen 2011 published presentations and documents on DocSlides.
Towards Using Constructive Type Theory for Verifiable
by karlyn-bohler
Modular Transformations. Steffen . Zschaler. , . ...
