help_outline
Video Laufzeit: 16:48 Video hochgeladen von: ACM SIGPLAN Video veröffentlicht am: 5 months ago Video Aufrufe: 40
Video Laufzeit: 16:48
Video hochgeladen von: ACM SIGPLAN
Video veröffentlicht am: 5 months ago
Video Aufrufe: 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")