Computability and Complexity Results for a Spatial Assertion Language for Data Structures
| Auteurs principaux: | , , |
|---|---|
| Format: | Conference item |
| Publié: |
Springer−Verlag
2001
|
| Résumé: |
|---|
| Auteurs principaux: | , , |
|---|---|
| Format: | Conference item |
| Publié: |
Springer−Verlag
2001
|
| Résumé: |
|---|