Et pourtant, je n'y connais pas grand'chose, mais il y a dans le bureau à côté du mien, quelqu'un qui travaille sur Coq-en-Coq. Et les première tentatives remontent à 1989 ! Lire l'introduction de son article aux JFLA par exemple, disponible sur sa page web : http://stephane.glondu.net
[^] # Re: Se passer des tests ...
Posté par MrLapinot (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.