Shadows Over Innsmouth

Formal Methods and Hybrid Real-Time Systems

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

The Snow Lion

When Caro and her mum move to a new house, she feels lonely and is nervous about meeting new peop...

Paper Planes

Mia and Ben are the very best of friends. They live side by side at the edge of a great, wide lak...