Dusko Pavlovic

الكتب
Introduction to Security Science Introduction to Security Science
Introduction to Security Science
٢٠٢٦
Programs as Diagrams Programs as Diagrams
Programs as Diagrams
٢٠٢٣
Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
Foundations of Security, Protocols, and Equational Reasoning
٢٠١٩
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
٢٠١١