Proof-Based Development of Specifications with KIDS/VDM.

Yves Ledru

Browse the full FM paper archive.