Getting “real work” done with formal methodsmedium.com2 points·albert-helmuth··0 commentsOpen articleSaveView on HN