Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Expression transformers in B-GSL
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Preference and non-deterministic choice
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
A design-based model of reversible computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A prospective-value semantics for the GSL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |