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

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

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical...

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

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

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 refereed proceedings of the workshops which complemented the 23rd Sympo...

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

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

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