Search Constraints
« Previous |
1 - 20 of 27
|
Next »
Search Results
Select an image to start the slideshow
A Tactic For Setoid Congruence
1 of 20
Model checking for role-based access control
2 of 20
A Natural Language Interface Using First Order Logic
3 of 20
Normalization for metadata
4 of 20
Theory Assistant 2
5 of 20
Live score synchronization II
6 of 20
X2S
7 of 20
Interactive Model Finding with Hominy
8 of 20
Risk Reporting Techniques
9 of 20
Modeling and Analyzing Security Requirements for Java
10 of 20
BNP Paribas: Systems Analysis and Concept Development
11 of 20
Wall Street Project
12 of 20
Translating Alloy to SMT-LIB
13 of 20
Towards a Transition System Semantics for Alloy
14 of 20
Build and Release Optimization of the Structured Credit Desktop
15 of 20
Global Credit Products Technology SPV Reporting Tool
16 of 20
Timing diagram to Buchi automation translation
17 of 20
Theory assistant
18 of 20
Core Finding for Relational Structures
19 of 20
Formal Verification of Boolean Unification Algorithms with Coq
20 of 20