Frédéric Tuong

https://www.lri.fr/~ftuong/

2019

Isabelle/C
by Frédéric Tuong and Burkhart Wolff

22 Oct

Clean - An Abstract Imperative Programming Language and its Theory
by Frédéric Tuong and Burkhart Wolff

04 Oct

2015

A Meta-Model for the Isabelle API
by Frédéric Tuong and Burkhart Wolff

16 Sep

2014

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
by Achim D. Brucker, Frédéric Tuong and Burkhart Wolff

16 Jan