MRG home page · Research · Publications · Projects · Software · People

Deductive Synthesis of Grid Workflows for e-Science

This page has moved, you are being redirected to: http://dream.inf.ed.ac.uk/projects/e-Science/wfs.php

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the Lucas Dixon
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.