Author:Michael Leuschel

Publications
Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools Michael Leuschel In:VPT 2014. Second International Workshop on Verification and Program Transformation