skip to main content

SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001

Giannakopoulou, Dimitra ; Leavens, Gary T. ; Sitaraman, Murali

Digital Repository @ Iowa State University 2001

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.