International Institute for Software Technology

1 published title

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 Nations University,

(Contributor)

1 edition