DMCA

A formulation of TLA in Isabelle (1995)

Cached

Download Links

by Sara Kalvala
Venue:In Higher Order Logic Theorem Proving and Its Applications (HOL'95), volume 971 of Lect. Notes in Comp. Sci
Citations:9 - 1 self