Work

ASPIRE: iterative specification synthesis for security

FWCI: 0.29
Cites: 21
Cited by: 3
Related to: 10