M
aria
S
pichkova
E-Mails 📧
ua
.
ude
.
timr
@
avokhcips
.
airam
Entries
2014
Formalisation and Analysis of Component Dependencies
by
Maria Spichkova
Apr 28
Compositional Properties of Crypto-Based Components
by
Maria Spichkova
Jan 11
2013
Stream Processing Components: Isabelle/HOL Formalisation and Case Studies
by
Maria Spichkova
Nov 14