Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verified Software: Theories, Tools, Experiments
Hi-index | 0.00 |