Books by David Basin
Complete Guide to SCION
Complete Guide to SCION
Applied Information Security
Proceedings of the Second ACM
Proceedings of the Second ACM Conference on Wireless Network Security
Rippling Meta-Level Guidance f
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Labelled deduction