Menu

Juan Ignacio Perna

1 published title

A verified compiler for Handel-C

1 edition

  • University of York, Department of Computer Science
  • 2010
  • Details

obnb.uk is a Good Stuff website.