Search Constraints
Search Results
Select an image to start the slideshow
Model checking for role-based access control
1 of 10
Live score synchronization II
2 of 10
A Tactic For Setoid Congruence
3 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
4 of 10
Formal Verification of Boolean Unification Algorithms with Coq
5 of 10
A Formalization of Strand Spaces in Coq
6 of 10
Build and Release Optimization of the Structured Credit Desktop
7 of 10
BNP Paribas: Equity Smart Order Router
8 of 10
BNP Paribas: Enterprise Architecture
9 of 10
BNP Paribas: Systems Analysis and Concept Development
10 of 10