Guset User Download PDF
  • 69
  • 0
A TLA Proof System - research.microsoft.com
functions are defined axiomatically rather than being represented as sets of ordered pairs. ... A TLA+ Proof System Chaudhuri, Doligez, Lamport, Merz B A TLA+
View Text Version Category : 0
  • 0
  • Embed
  • Share
  • Upload
Related publications