Hernán Ponce de León
发表
R. Meyer,
Thomas Haas,
Hernán Ponce de León,
2022,
Proc. ACM Program. Lang..
A. Mokhov,
Hernán Ponce de León,
2018,
Formal Methods in System Design.
Thomas Haas,
Hernán Ponce de León,
René Maseli,
2023,
Proc. ACM Program. Lang..