Foundations of Component-Based Systems

edited by

Gary T. Leavens and Murali Sitaraman

© Cambridge University Press, 2000

[cover picture]



Gary T. Leavens
Murali Sitaraman

Last update $Date: 2002/02/21 20:38:36 $