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