Merkliste 
 1 Ergebnisse 
 
1

Validation of Modern JSON Schema: Formalization and Complex..:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1451-1481 , 2024