How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf]research.chalmers.se3 pointsJtsummers2 years ago