This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSu...

The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, T...

This book constitutes revised selected papers from the five workshops collocated with the 15th In...

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Sympo...

Testing.- Formal verification.- Program analysis.- Runtime verification.- Meta-programming and so...

This volume constitutes the post-workshop proceedings of the First International Workshop on Form...

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects...

CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and A...

Software programs are formal entities with precise meanings independent of their programmers, so ...

Modelling Interactions: Digital and Physical.- Modelling and Analysing Cognition and Interaction....

This book constitutes the refereed proceedings of the 11th International Symposium on From Data t...