Kristensen, L. M. (2014) “Investigating Optimal Progress Measures for Verification of the WebSocket Protocol”, Norsk IKT-konferanse for forskning og utdanning. Available at: https://www.ntnu.no/ojs/index.php/nikt/article/view/5237 (Accessed: 23November2024).