Falaschi, Moreno
VIAF ID: 883145857878723020121 ( Personal )
Permalink: http://viaf.org/viaf/883145857878723020121
Preferred Forms
- 100 1 _ ‡a Falaschi, Moreno
-
-
- 100 1 _ ‡a Falaschi, Moreno
- 100 1 _ ‡a Falaschi, Moreno
- 100 1 _ ‡a Falaschi, Moreno
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
ISoLA 2006 | |
Leveraging applications of formal methods, verification, and validation | |
Logic-based program synthesis and transformation, 2015: | |
Méthodes d'apprentissage machine pour la protection de la vie privée : mesure de leakage et design des mécanismes | |
Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes | |
Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus.. | |
Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings | |
WWV'06 |