First Page | Document Content | |
---|---|---|
Date: 2018-06-25 09:59:57Mathematics Function Computability theory Constraint programming Formal methods Theoretical computer science | LNCSModular Synthesis of Sketches Using ModelsAdd to Reading ListSource URL: rishabhmit.bitbucket.ioDownload Document from Source WebsiteFile Size: 571,60 KBShare Document on Facebook |