articles
Detail
Publication date: 28 de March, 2022Publication 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 | 17/10/2015 |