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...

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

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...

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

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...

This volume constitutes revised selected papers from the four workshops collocated with the 19th ...

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

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Asp...