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

Other Authors: “…Maibaum, Thomas S E 1947-…”