Elaborating Security Requirements by Construction of Intentional Anti-Models (2004)

by Axel Van Lamsweerde
Citations:63 - 3 self