04 novembre 2016
_année_2016 _mois_nov. java programming test
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.