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

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Leavens, Gary T. ; Cheon, Yoonsik ; Clifton, Curtis ; Ruby, Clyde ; Cok, David R.

Digital Repository @ Iowa State University 2004

Texto completo disponível

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

Demonstration of JML Tools

Leavens, Gary T. ; Cheon, Yoonsik ; Cok, David R.

Digital Repository @ Iowa State University 2005

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Cheon, Yoonsik
  2. Cok, David R.
  3. Leavens, Gary T.
  4. Clifton, Curtis
  5. Ruby, Clyde

Buscando em bases de dados remotas. Favor aguardar.