Proving Programs Correct Using Plain Old Java Types | Lambda the Ultimate

Prouver qu’un programme est correct, c’est plus puissant que simplement le tester.