Search Constraints
« Previous |
1 - 10 of 27
|
Next »
Search Results
Select an image to start the slideshow
Wall Street Project
1 of 10
Translating Alloy to SMT-LIB
2 of 10
Trade-Capture Process Analysis: Global Credit Products and Structure Credit Trading
3 of 10
Towards a Transition System Semantics for Alloy
4 of 10
Risk Reporting Techniques
5 of 10
Privacy in Online Social Networks
6 of 10
A Natural Language Interface Using First Order Logic
7 of 10
Modeling and Analyzing Security Requirements for Java
8 of 10
Interactive Model Finding with Hominy
9 of 10
Generating Universal Models for Geometric Theories
10 of 10