Data PolicyPublications | Institutes | Persons | Datasets | Projects | Maps | Infrastructure [ report an error in this record ]basket (0): add | show Formal Aspects of ComputingFormal Aspects of Computing. Association for Computing Machinery: New York. ISSN 0934-5043; e-ISSN 1433-299X All data in the Integrated Marine Information System (IMIS) is subject to the VLIZ privacy policy Top