home
>
book reviews
> Guy Laffitte
Google >
Guy Laffitte
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
)