Stream Processing Components: Isabelle/HOL Formalisation and Case Studies by Maria Spichkova 📧 Nov 14