This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods,...
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...