Manuel Núnez

Books

OpenLibrary works by this author.

2 books

Applying Formal Methods: Testing, Performance, and M/E-Commerce

Year unknown Manuel Núnez, Key Pousttchi, and Fernando Rubio

Formal Approaches to Software Tes...

Formal Approaches to Software Testing and Runtime Verification

Year unknown Klaus Havelund, Manuel Núnez, Grigore Rosu, and Burkhart Wolff

Fetched from OpenLibrary. Some translations may appear as separate works.