Data PolicyPublications | Institutes | Persons | Datasets | Projects | Maps | Infrastructure [ report an error in this record ]basket (0): add | show Formal Methods in System DesignFormal Methods in System Design. Springer: Dordrecht. ISSN 0925-9856; e-ISSN 1572-8102 All data in the Integrated Marine Information System (IMIS) is subject to the VLIZ privacy policy Top