Kristensen, L. M. (2014). Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. Norsk IKT-Konferanse for Forskning Og Utdanning. Retrieved from https://www.ntnu.no/ojs/index.php/nikt/article/view/5237