Saturday, October 3, 2009

CHARMY: A FRAMEWORK FOR DESIGNING AND VERIFYING ARCHITECTURAL SPECIFICATIONS PATRIZIO PELLICCIONE, PAOLA INVERARDI, AND HENRY MUCCINI

No comments:

Post a Comment