Being the Person Your Dog Thinks You Are

Riveted

Formal methods and software engineering

Formal Methods: Foundations and Applications

Riveted Lib/E

Imagination

Specification and Proof in Real Time CSP

Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance

Integrated Formal Methods