Full name: Alexander Serebrenik
Formal name: A.E. Serebrenik
Function: Researcher
Email:
Room: ONBEKE
Research groups:
(SEN1) Software Analysis and Transformation
Formal name: A.E. Serebrenik
Function: Researcher
Email:
Room: ONBEKE
Research groups:
(SEN1) Software Analysis and Transformation
Career
| 2013 | Gedetacheerde SEN1 - Software Analysis and Transformation |
Recent Publications
| S.C.C. Blom, J.F. Groote, S. Mauw, A. Serebrenik. Analysing the BKE-security protocol with $\mu$CRL. International Workshop on Parallel and Distributed Methods in VerificationElectronic Notes in Theoretical Computer science 139, Stirling, Scotland, 49–90, 2005. |
