µ-Chart-Based Specification and Refinement.

Doug Goldson, Greg Reeve, Steve Reeves

Browse the full ICFEM paper archive.