Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

María Alpuente | lit.salon

Author

María Alpuente

4 works

2007–2011 across 4 dated works

No biography is available yet.

Start with

Automated specification and verification of web systems: selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus2007
With Santiago Escobar
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings2008
With Germán Vidal-Oriola
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings2009
With Byron Cook, Christophe Joubert
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers2011

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers2011
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings2008
With Germán Vidal-Oriola
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automated specification and verification of web systems: selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus2007
With Santiago Escobar
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings2009
With Byron Cook, Christophe Joubert
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around María Alpuente.

The conversation is still open.

There is no public salon activity to show for María Alpuente yet.