4 ms·
r/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_formal_methods_at_amazon_web_services/ http://www.reddit
by pja 12y ago
r/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_formal_methods_at_amazon_web_services/ http://www.reddit.com/r/programming/comments/277fbh/use_of_f...