Advanced Topics in Information Security - MAPi
5
0
0
Texto
Documentos relacionados
Key Publications: • Andrade FR, Faria JP, Paiva A; Test Generation from Bounded Algebraic Specifications using Alloy, 6th International Conference on Software and Data Technologies
