From Programs to Games: Invariance and Safety for Bisimulation
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Enforcing behavior with contracts
Programming methodology
Structures with Multirelations, their Discrete Dualities and Applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Interpreting nondeterminism in the refinement calculus
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |