skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover autor: Sitaraman, Murali remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

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

2
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

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

3
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Reasoning about Procedure Calls with Repeated Arguments and the Reference-Value Distinction

Kulczycki, Gregory W. ; Sitaraman, Murali ; Ogden, William F. ; Leavens, Gary T.

Digital Repository @ Iowa State University 2003

Texto completo disponível

4
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Roadmap for Enhanced Languages and Methods to Aid Verification

Leavens, Gary T. ; Abrial, Jean - Raymond ; Batory, Don ; Butler, Michael ; Coglio, Alessandro ; Fisler, Kathi ; Hehner, Eric ; Jones, Cliff ; Miller, Dale ; Peyton - Jones, Simon ; Sitaraman, Murali ; Smith, Douglas R. ; Stump, Aaron

Iowa State University Digital Repository 2006

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.