Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

First Page		Document Content
Date: 2016-09-28 03:17:34		Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Add to Reading List Source URL: www2.compute.dtu.dk Download Document from Source Website File Size: 1,37 MB Share Document on Facebook