Manuel Núnez

No bio available. Add one in Open Library.

Books by Manuel Núnez (50 max)

+ shelf+ list

Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

2004

Manuel Núnez, Key Pousttchi, Fernando Rubio

+ shelf+ list

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2006

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff