Friday, March 15, 2019

TLA+ is yet another programming language.

Temporal Logic of Actions is what the TLA stands for.

at

No comments:

Post a Comment