👤

Duško Pavlović

3 books

Books by Duško Pavlović

Programs As Diagrams
Programs As Diagrams
2023
Foundations of Security, Protocols, and Equational Reasoning
Foundations of Security, Protocols, and Equational Reasoning
2019
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
2011