output
20052009
most citedA TLA+ Proof System

17 citations

Showing 2009 · cs.CLShow all

2 papers · 2 filters