Dusko Pavlovic

도서
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년