Resultados da busca - 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...

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