Richard Bubel |
||
|---|---|---|
|
Hello, my name is Richard Bubel. I work for the HATS project at
Prof. Reiner Hähnle's group.
This website is under construction (more information will follow).
|
|
Richard Bubel Department of Computer Science and Engineering Chalmers University of Technology and Göteborg University 412-96 Göteborg, Sweden Room: 5479, Computer Science and Engineering Building Mail: bubel@chalmers.se Tel: +46 (0)31 772 1078 |
Mobius Joint WP Meeting Feb'07 | |