|
||
---|---|---|
hal-02958111v1
Communication dans un congrès
Contract-based design patterns: a design by contract approach to specify security patterns 15th 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⟩ |
||
|