header
cover

1 - Formal specification and software development
Bjorne, Dines (1937-....)   /   Jones, Cliff B. (1944-....)

Cote : [68 BJO 82]