by Gilles Barthe , Cédric Fournet
No reviews yet. Be the first!
Foundations of Probabilistic Programming
Construction and Analysis of Safe, Secur...
L'enfance spirituelle
Formal Aspects of Security and Trust
Applied Semantics
Software Engineering and Formal Methods