Bernhard Reus (University of Sussex)

Identifiers

• name variant Bernhard Reus (University of Sussex) 0.60 · backfill

Papers (1)

1. Nested Hoare Triples and Frame Rules for Higher-order Store cs.LO · 2011 · author #3

Mentions

• 1109.3031 #3 · backfill · confidence 0.70 Bernhard Reus (University of Sussex)

Frequent Coauthors

• Hongseok Yang (University of Oxford) 1 shared papers
• Jan Schwinghammer (Saarland University) 1 shared papers
• Lars Birkedal (IT University of Copenhagen) 1 shared papers