Eintrag weiter verarbeiten
Is ?some-other-time? sometimes better than ?sometime? for proving partial correctness of programs?
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Is ?some-other-time? sometimes better than ?sometime? for proving partial correctness of programs? |
In: | Studia Logica, 47, 1988, 3, S. 279-301 |
veröffentlicht: |
Springer Science and Business Media LLC
|
Umfang: | 279-301 |
ISSN: |
0039-3215 1572-8730 |
DOI: | 10.1007/bf00370557 |
Format: | E-Article |
Quelle: | Springer Science and Business Media LLC (CrossRef) |
Sprache: | Englisch |