Checking Laws of the Blockchain with Property-Based Testing

Date:

PPT available > here