Programming Languages and Systems

This book constitutes the refereed proceedings ...

Software Engineering and Formal Methods

This book constitutes the refereed proceedings ...

Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings ...

Security and Trust Management

This book constitutes the thoroughly refereed p...

Foundations of Security Analysis and Design V

FOSAD has been one of the foremost educational ...

Security and Trust Management

This book constitutes the refereed proceedings ...

Engineering Secure Software and Systems

This book constitutes the refereed proceedings ...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the refereed proceedings ...

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed p...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Trustworthy Global Computing

This book constitutes the thoroughly refereed p...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

This book constitutes the refereed post-proceed...