![](/img/cover-not-exists.png)
Formalizing and implementing Gries' program development method in dynamic logic
Maritta HeiselVolume:
18
Year:
1992
Language:
english
Pages:
31
DOI:
10.1016/0167-6423(92)90035-a
File:
PDF, 2.04 MB
english, 1992