Corneliu Popeea
AuthID: R-006-S2K
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
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
Scopus WOS2
TÃTULO: Synthesizing software verifiers from proof rules
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
AUTORES: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012
3
TÃTULO: HSF(C): A Software Verifier Based on Horn Clauses
AUTORES: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Sergey Grebenshchikov; Ashutosh Gupta; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLICAÇÃO: 2012, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef