Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...

This volume constitutes the proceedings of the Second International Conference on Reliability, Sa...

This volume was published in honor of Stefania Gnesi¿s 65th birthday. The Festschrift volume cont...

Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...