Skip to content

willdurand-slides/fttfm

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

From Traces To (Formal) Models

Slides of the talk I gave at LIMOS, Clermont-Fd, France on February 13, 2014.

$ git clone git://github.com/willdurand/fttfm-slides.git --recursive
$ open index.html