Dusko Pavlovic

Sách
Introduction to Security Science Introduction to Security Science
Introduction to Security Science
2026
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