M
Manuel Núñez
6 works on record
Works

Web services and formal methods

Formal Methods for Industrial Critical Systems
Stellar dynamos, nonlinearity and chaotic flows
Stellar dynamos, nonlinearity and chaotic flows
Software Engineering and Formal Methods
Software Engineering and Formal Methods
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
Cuanto vale el petróleo mexicano defraudado por la Penn Mex Fuel Company
Cuanto vale el petróleo mexicano defraudado por la Penn Mex Fuel Company