articles
Detail
Publication date: 1 de June, 2021Publication Combining Behavioural Types With Security Analysis – Journal Journal of Logical and Algebraic Methods in Programming
Journal | Journal of Logical and Algebraic Methods in Programming |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Pub. Date | 01/09/2015 |