Scientific decisions which characterize VDM (1999)

by Cliff B Jones
Venue:In FM’99 – Formal Methods