1983
Ten years of Hoare s logic, part II: nondeterminism
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Apt, K. (1983). Ten years of Hoare s logic, part II: nondeterminism. |
1983
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
Apt, K. (1983). Ten years of Hoare s logic, part II: nondeterminism. |