Dusko Pavlovic

Books
Programs as Diagrams Programs as Diagrams
Programs as Diagrams
2023
Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
Foundations of Security, Protocols, and Equational Reasoning
2019
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011