Resultados da busca - Hatcliff, John, 1966-

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

Outros Autores: “…Hatcliff, John, 1966-…”