Enhancing the Alloy Analyzer with Patterns of Analysis
Formal techniques have been shown to be useful in the development of correct software. But the level of expertise required
arxiv.orgrank this link
Refine results · kind
heaven
2 indexed results
Complex Geometry of Nature and General Relativity
An attempt is made of giving a self-contained introduction to holomorphic ideas in general relativity, following work over the last
arxiv.orgrank this link