Slicing execution with partial weakest precondition for model abstraction of C programs /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Artículo |
| Lenguaje: | English |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|