author : Pascal Bernard

Short works

• The French Population Census for 1990. 1995
  • In Industrial-Strength Formal Methods in Practice
  • In ZUM '95