Elaborating Security Requirements by Construction of Intentional Anti-Models Вид публикации: Conference Proceedings Авторы: A. van Lamsweerde Источник: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004 (2004)
