Normal view
MARC view
Ravara, António (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): WS-FM (Workshop) (11th : 2014 : Eindhoven, Netherlands) 57014, Web Services, Formal Methods, and Behavioral Types :