Personensuche
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
9
A Metalanguage for Cost-Aware Denotational Semantics:
, In:
?
NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium ,
10