Normal view
MARC view
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich(Personal Name)
Machine generated authority record
Work cat.: (OSt)1622452: Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Web Services, Formal Methods, and Behavioral Types