Resultados de búsqueda - Aichernig, Bernhard K 1969-

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...

Otros Autores: “…Aichernig, Bernhard K 1969-…”