## Homepages 🌐

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

## E-Mails 📧

- rf.airni.egrofg.sresu @gnout

## Entries

### 2019

##### Isabelle/C

by Frédéric Tuong 🌐 and Burkhart Wolff 🌐
Oct 22

##### Clean - An Abstract Imperative Programming Language and its Theory

by Frédéric Tuong 🌐 and Burkhart Wolff 🌐
Oct 04

### 2015

##### A Meta-Model for the Isabelle API

by Frédéric Tuong 📧 and Burkhart Wolff 🌐
Sep 16

### 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 📧
Jan 16