This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Na...

Mathematics plays a key role in computer science, some researchers would consider computers as no...

This book provides a hands-on introduction to runtime verification which guides the reader from z...

Mathematics plays a key role in computer science, some researchers would consider computers as no...