Sciweavers

ACSC
2006
IEEE
15 years 1 months ago
Logic and refinement for charts
We introduce a logic for reasoning about and constructing refinements for
Greg Reeve, Steve Reeves