David Till

Œuvres (1)

Couverture : An introduction to formal specification and Z

An introduction to formal specification and Z

1996