Formal Methods `93 Theoretical Computer Science A Classical Mind: Essays in Honour of C. A. R. Hoare Proceedings of 1995 CLiCS Summer School, Isaac Newton Institute Non-well-founded sets Deductive program design (0)

by Theory
Venue:Proceedings of the 1994 Marktoberdorf International Summer School Logics for Concurrency: Structure