Mathias Fleury - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Registered user since Sat 5 Aug 2017

Name:Mathias Fleury

Country:Germany

Affiliation:MPI-INF

Personal website: http://www.mpi-inf.mpg.de/~mfleury

Research interests:Formal Verification

Contributions

2017

FSCD

Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

Show activities from other conferences

ICFP 2017-profile
View general profile