Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Add to Reading List Document Date: 2016-09-28 03:17:34 Open Document File Size: 1,37 MB Share Result on Facebook

Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal MethodsAdd to Reading List