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 revised selected papers from the following SEFM 2012 satellite events: InSu...

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

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

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

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

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

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