skip to main content

SAVCBS 2003: Specification and Verification of Component-Based Systems

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T.

Digital Repository @ Iowa State University 2003

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.