help_outline
Duração do vídeo: 16:48 Vídeo enviado por: ACM SIGPLAN Data de lançamento do vídeo: 5 months ago Visualizações: 42
Duração do vídeo: 16:48
Vídeo enviado por: ACM SIGPLAN
Data de lançamento do vídeo: 5 months ago
Visualizações: 42
Close
Loading Video...
0:00 / 0:00
volume_up
![[ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics](https://img.youtube.com/vi/PAk8_Lgs8Xw/default.jpg "[ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics")