Maria Spichkova

2014

Formalisation and Analysis of Component Dependencies
by Maria Spichkova

28 Apr

Compositional Properties of Crypto-Based Components
by Maria Spichkova

11 Jan

2013

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

14 Nov