<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-06-13 06:07:43Theoretical computer science Formal methods Formal verification Logic in computer science Frappier Electronic engineering |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2018-06-13 06:07:43Theoretical computer science Formal methods Formal verification Logic in computer science Frappier Electronic engineering |
Add to Reading List |
Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th