Deductive synthesis of workflows for e-Science.

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon

Browse the full CCGRID paper archive.