Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Calvin Shyu"'
Autor:
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
Publikováno v:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccafa1b90b5b404286c73cc98d2bb13b
https://doi.org/10.1145/3573105.3575670
https://doi.org/10.1145/3573105.3575670
