Andrey Rybalchenko
AuthID: R-006-EQM
1
TITLE: Synthesizing Software Verifiers from Proof Rules
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
AUTHORS: Sergey Grebenshchikov; Nuno P Lopes ; Corneliu Popeea; Andrey Rybalchenko;
PUBLISHED: 2012, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 47, ISSUE: 6
INDEXED IN: 
Scopus 
WOS
Scopus WOS