The aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...
Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in several re...
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engi...
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume cont...
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 ...
Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...
Formal Methods for Open Object-Based Distributed Systemspresents the leading edge in s...
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume c...