3 ms·

This conference paper has an anecdote: https://www.researchgate.net/publication/220757452_Specifying_and_verifying_systems_with_TLA https://www.researchgate.net

by geoka9 7y ago

This conference paper has an anecdote: https://www.researchgate.net/publication/220757452_Specifying_and_verifying_systems_with_TLA https://www.researchgate.net/publication/220757452_Specifyin...