Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation.

Kent Inge Fagerland Simonsen, Lars Michael Kristensen

Browse the full DAIS paper archive.