help_outline
Video Duration: 16:48 Video uploaded by: ACM SIGPLAN Video release date: 5 months ago Video views: 40
Video Duration: 16:48
Video uploaded by: ACM SIGPLAN
Video release date: 5 months ago
Video views: 40
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")