The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E.
TLA+: Whence, Wherefore, and Whither
2009-04-01
Conference paper
No indication
English
AIAA Journal-Whence and Whither
AIAA | 1966
|Perspective Wherefore art thou, Lincoln?
Online Contents | 2002
Why and wherefore of truck accounting
Engineering Index Backfile | 1914
Wherefore Art Thou Aggregate Resources for Highways?
Online Contents | 2011
|Why and wherefore of detail design -- 15
Engineering Index Backfile | 1942