Languages
AichernigBernhard K.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...
by:
AichernigBernhard K.; MaibaumTom
(Language materials, printed)
Subjects