Chen, J., de Mendonça, J. L. V., Ayele, B. S., Bekele, B. N., Jalili, S., Sharma, P., . . . Jeannin, J. (2024). Synchronous Programming with Refinement Types.
Citazione stile Chigago Style (17a edizione)Chen, Jiawei, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, e Jean-Baptiste Jeannin. Synchronous Programming with Refinement Types. 2024.
Citatione MLA (9a ed.)Chen, Jiawei, et al. Synchronous Programming with Refinement Types. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.