G
udmund
G
rov
Homepages 🌐
http://homepages.inf.ed.ac.uk/ggrov
Entries
2011
A Definitional Encoding of TLA* in Isabelle/HOL
by
Gudmund Grov
🌐
and
Stephan Merz
🌐
Nov 19