Formal Methods in Practice: Using TLA+ at ESpark Learning Posted by YAFZ on Tuesday March 14, 2017 @04:47AM from the medium.com dept. https://medium.com/espark-engineering-blog/formal-methods-in-practice-8f20d72bce4f#.p4out0pre ( no comments | 3 points | on HN )
There are no comments yet.