Alpuente, María
VIAF ID: 25472065 ( Personal )
Permalink: http://viaf.org/viaf/25472065
Preferred Forms
- 100 1 _ ‡a Alpuente, María
-
- 100 1 _ ‡a Alpuente, María
-
- 100 1 _ ‡a Alpuente, María
-
- 100 1 _ ‡a Alpuente, María
Works
Title | Sources |
---|---|
Formal methods for industrial critical systems | |
ISoLA 2006 | |
Leveraging applications of formal methods, verification, and validation | |
Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 2010, revised selected papers | |
SAS 2008 | |
Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings | |
Techniques de bisimulation et algorithmes pour la programmation concurrente par contraintes. | |
WWV'06 |