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 MethodsAdd to Reading ListSource URL: www.imm.dtu.dkDownload Document from Source WebsiteFile Size: 1,37 MBShare Document on Facebook |