Sciweavers

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