Publication
A TLA+ Proof System
Publication
Leslie Lamport: The Specification Language TLA+
Publication
Robust Dual Motion Deblurring
Publication
Improved algorithms for optimal embeddings
Publication