Henri Habrias

Spécification formelle avec B

Spécification formelle avec B

2001

Software specification methods

2000

Dictionnaire encyclopédique du génie logiciel

1997

Introduction à la spécification

1997