Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich <br/><br/>
Web Services, Formal Methods, and Behavioral Types 

 -  Springer  Springer  2016 
<br/><br/><label>ISBN: </label>9783319336121 
<br/><br/><label>Source: </label>EBOOK