ConferencePaper
 (2020)

A Mechanized Formalization of GraphQL

Diaz, Tomas; Olmedo, Federico; TANTER, ÉRIC

Más información

Editorial: Association for Computing Machinery (ACM)
Fecha de publicación: 2020
Página de inicio: 201
Página final: 214
URL: https://doi.org/10.1145/3372885.3373822