In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016), September 14-16, Bremen, Germany, ECSI - …
In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at …