SpecFlatBibEntry

Bib entry for K. Rustan M. Leino’s lecture notes on Spec♭:

@InCollection{SpecSharp:Marktoberdorf2006,
 author = {K. Rustan M. Leino and Wolfram Schulte},
 title = {A verifying compiler for a multi-threaded object-oriented language},
 publisher = "IOS Press",
 series = "NATO Security Through Science Series; Sub-Series D",
 volume = 9,
 editors = "Manfred Broy and Johannes Gr{\"u}nbauer and Tony Hoare",
 booktitle = "Software System and Security",
 year = 2007,
 pages = "351--416",
 note = "Marktoberdorf 2006 lecture notes"
}