[removed]Curriculum vitae

First Page		Document Content
Date: 2008-06-11 06:59:27 The Combustion Institute Academia Royal Institute of Technology Chalmers University of Technology Education Lund University Faculty of Engineering (LTH) Lund University Combustion		[removed]Curriculum vitae Add to Reading List Source URL: www.forbrf.lth.se Download Document from Source Website File Size: 32,31 KB Share Document on Facebook

	A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden DocID: 1xVBs - View Document
	Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden DocID: 1xT9S - View Document
	A semi-liquid catholyte based Li-S system for fast charging energy storage a Simon Lindberg a, Marco Agostini a, Aleksandar Matic a Chalmers university of technology, Chalmersplatsen 4, 41296 Göteborg, Sweden DocID: 1vmJb - View Document
	Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in DocID: 1vlOB - View Document
	Simplification Rules for Constrained Formula Tableaux Martin Giese Chalmers University of Technology Department of Computing Science SGothenburg, Sweden DocID: 1vjWa - View Document