|
Workshop on
Quantitative Formal Methods:
Theory and Applications
- satelite workshop of FM 2009 -
Eindhoven, The Netherlands
November 3rd, 2009
Contact:
| Suzana Andova |
Formal Methods Group,
Department of Mathematics and Computer Science,
Eindhoven University of Technology |
| e-mail: |
s.andova@tue.nl |
| address: |
Den Dolech 2,
5612AZ Eindhoven,
The Netherlands
Room HG 7.23 |
| postal address: |
P.O. Box 513,
5600 MB Eindhoven,
The Netherlands |
| tel: |
+31 40 2475089
(2475155) |
| fax: |
+31 40 2475361 |
| Annabell Mc Iver |
Department of Computing,
Macquarie University
|
| e-mail: |
anabel@ics.mq.edu.au |
| address: |
Department of Computing,
Macquarie University,
Sydney 2109, Australia |
back
|
|