Resultados da busca - Maibaum, Thomas S E 1947-

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United...

Outros Autores: “…Maibaum, Thomas S E 1947-…”