author : Guy Laffitte

Short works

• The French Population Census for 1990. 1995
  • In Industrial-Strength Formal Methods in Practice
  • In ZUM '95
• "Higher-Order" Mathematics in B. 2002. (In ZB 2002 )