Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Browse the full ICFP paper archive.