1989-12-01
Strong completeness for Hoare logics of recursive processes: an infinitary approach
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
Ponse, A., & de Vries, F.-J. (1989). Strong completeness for Hoare logics of recursive processes: an infinitary approach. Department of Computer Science [CS]. CWI. |