G.: Certified web services in Ynot (0)

by R Wisnesky, G Malecha, Morrisett
Venue:In: Workshop on Automated Specification and Verification of Web Systems (Jul 2009