Andrey Rybalchenko


AuthID: R-006-EQM

Publicações a aguardar confirmação

1
TÍTULO: Synthesizing Software Verifiers from Proof Rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: ACM SIGPLAN NOTICES, VOLUME: 47, NÚMERO: 6
INDEXADO EM: Scopus WOS

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

Links Úteis

Ajuda

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