@InProceedings{   hsf-pldi12,
  Author        = "Grebenshchikov, Sergey and Lopes, Nuno P. and Popeea, Corneliu and Rybalchenko, Andrey",
  BookTitle     = "Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
  date-added    = "2014-03-11 18:47:04 +0000",
  date-modified = "2014-03-11 18:47:04 +0000",
  Month         = "June",
  Title         = "Synthesizing Software Verifiers from Proof Rules",
  Year          = "2012",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=2254112",
  File          = "Synthesizing Software Verifiers from Proof Rules - Grebenshchikov, Lopes, Popeea, Rybalchenko (0) (0) - a - a - v.pdf"
}

@InProceedings{ hsf-pldi12, Author = "Grebenshchikov, Sergey and Lopes, Nuno P. and Popeea, Corneliu and Rybalchenko, Andrey", BookTitle = "Proc. of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)", date-added = "2014-03-11 18:47:04 +0000", date-modified = "2014-03-11 18:47:04 +0000", Month = "June", Title = "Synthesizing Software Verifiers from Proof Rules", Year = "2012", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=2254112", File = "Synthesizing Software Verifiers from Proof Rules - Grebenshchikov, Lopes, Popeea, Rybalchenko (0) (0) - a - a - v.pdf" }