Eintrag weiter verarbeiten
Dynamic interpretation and hoare deduction
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: |
Dynamic interpretation and hoare deduction |
In: | Journal of Logic, Language and Information, 1, 1992, 1, S. 1-44 |
veröffentlicht: |
Springer Science and Business Media LLC
|
Umfang: | 1-44 |
ISSN: |
0925-8531 1572-9583 |
DOI: | 10.1007/bf00203385 |
Format: | E-Article |
Quelle: | Springer Science and Business Media LLC (CrossRef) |
Sprache: | Englisch |