On Refinement of Generic Software Components (2003)

Cached

Download Links

by Sun Meng , Luis Barbosa
Venue:In 10th Int. Conf. Algebraic Methods and Software Technology (AMAST
Citations:9 - 6 self