DMCA

An Encoding of TLA in Isabelle (1999)

by Stephan Merz
Citations:2 - 0 self