David Basin · 10 obras en el catálogoObrasApplied Information SecurityLabelled deductionLabelled DeductionPrinciples of Security and TrustRipplingTTheorem Proving in Higher Order LogicsTheorem Proving in Higher Order LogicsAAutomated ReasoningAutomated ReasoningCComplete Guide to SCIONComplete Guide to SCIONPProceedings of the Second ACM Conference on Wireless NetworkProceedings of the Second ACM Conference on Wireless Network SecurityRRippling Meta-Level Guidance for Mathematical Reasoning. CamRippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
PProceedings of the Second ACM Conference on Wireless NetworkProceedings of the Second ACM Conference on Wireless Network Security
RRippling Meta-Level Guidance for Mathematical Reasoning. CamRippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
