Specifying and Verifying Systems in TLA+ [pdf]ictac2010.dimap.ufrn.br3 points·pron··0 commentsOpen articleSaveView on HN