Manuel Núñez

6 published titles

Formal techniques for networked and distributed systems, FORTE 2004 : 24th IFIP WG 6.1 international conference

(Contributor)

1 edition

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

(Contributor)

1 edition

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

(Contributor)

1 edition

Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers

(Contributor)

1 edition

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings

(Contributor)

1 edition

Computational collective intelligence : 7th international conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings

(Contributor)

1 edition