PESU Libraries Search for 'au:"Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever"'

Formal Methods for Components and Objects

]]> By Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
New York Springer US 2005 978-3-540-31939-9

]]> By Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
New York Springer US 2006 978-3-540-36750-5

]]> By Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
New York Springer US 2007 978-3-540-74792-5

]]> By Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
New York Springer US 2008 978-3-540-92188-2