Home › Authors › Jan Martijn van der Werf 👤 Jan Martijn van der Werf 1 book Books by Jan Martijn van der Werf Web Services, Formal Methods, Web Services, Formal Methods, and Behavioral Types 2016