Principles of Security and Trust

This book constitutes the proceedings of the 5t...

Tests and Proofs

This book constitutes the refereed proceedings ...

Foundations and Applications of Security Analysis

topics including formal specification, analysis...

Socio-Technical Aspects in Security and Trust

This book constitutes the refereed post-confere...

Morphologie von Stadtlandschaften

Die Stadtmorphologie untersucht Siedlungs- und ...

The Morphology of Urban Landscapes

In The Morphology of Urban Landscapes, author A...

Labelled Deduction

Labelled Non-Classical Logics

I am very happy to have this opportunity to int...

Socio-Technical Aspects in Security

This book constitutes revised selected papers f...

Labelled Deduction

Labelled deduction is an approach to providing ...

Labelled Non-Classical Logics

I am very happy to have this opportunity to int...

Labelled Non-Classical Logics

I am very happy to have this opportunity to int...