David Basin

No bio available. Add one in Open Library.

Books by David Basin (50 max)

+ shelf+ list

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

+ shelf+ list

Labelled deduction

2000

David Basin, Various Au

+ shelf+ list

Applied Information Security: A Hands-on Approach

2011

David Basin

+ shelf+ list

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2013

David Basin

+ shelf+ list

Complete Guide to SCION: From Design Principles to Formal Verification

2022

Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz

+ shelf+ list

Labelled Deduction

2000

David Basin

+ shelf+ list

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

2003

David Basin, Burkhart Wolff

+ shelf+ list

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

2004

David Basin, Michael Rusinowitch

+ shelf+ list

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

2005

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

+ shelf+ list

Proceedings of the Second ACM Conference on Wireless Network Security

2009

David Basin