FORM METHOD SYST DES - FORMAL METHODS IN SYSTEM DESIGN

Bibliographical data

ISSNs0925-9856