Friday, March 15, 2019

TLA+ is yet another programming language.

Temporal Logic of Actions is what the TLA stands for.

No comments:

Post a Comment