KRISTENSEN, L. M. Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2014. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5237. Acesso em: 23 nov. 2024.