Ivan Radicek


AuthID: R-00K-HJB

Publicações a aguardar confirmação

1
TÍTULO: Monadic refinements for relational cost analysis
AUTORES: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLICAÇÃO: 2018, FONTE: Proc. ACM Program. Lang., VOLUME: 2, NÚMERO: POPL
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service