ผู้เขียน: Simon Foster

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.After a Ph D on software verification at the University of Liverpool, Jim has combined a succ …