Search Results for 'zschaler trans'

zschaler trans published presentations and documents on DocSlides.

Towards Using Constructive Type Theory for Verifiable

by karlyn-bohler

Modular Transformations. Steffen . Zschaler. , . ...