Antichesse (o ^ω^ o)
4520 shaares
2 résultats
taggé
object
Un très bon article qui compare les systèmes de preuve formelle vs les TU et les langages fonctionnels et orientés objets.
Un lien que j'avais oublié de me bookmarker