Detail

Publication date: 1 de June, 2021

Publication 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