This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods,...

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous tw...

Adolescentes acometidos por osteossarcoma e amputados podem nos apresentar histórias de luta, sup...

Les adolescents touchés par l'ostéosarcome et amputés peuvent nous raconter des histoires de lutt...

Adolescents affected by osteosarcoma and amputated can tell us stories of struggle, overcoming, p...

Gli adolescenti colpiti da osteosarcoma e amputati possono raccontarci storie di lotta, superamen...

Los adolescentes afectados por osteosarcoma y amputados pueden contarnos historias de lucha, supe...

Jugendliche, die an einem Osteosarkom erkrankt sind und amputiert wurden, können uns Geschichten ...

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teachin...