|
|
|
|
|
|
|
|
|
hal-02958111v1
Communication dans un congrès
Caine Silva, Sylvain Guérin, Raúl Mazo, Joël Champeau. Contract-based design patterns: a design by contract approach to specify security patterns15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
|
|
|
|
|
|
|
|
|