[Why3-club] JFLA 2017 : 2ème appel à participation

[ This message is intentionally written in French. ] *** Appel à participation, merci de diffuser largement *** JFLA'2017 (http://jfla.inria.fr/2017/) Journées Francophones des Langages Applicatifs Gourette, Pyrénées, du 4 au 7 janvier 2017 Les incriptions

Re: [Why3-club] Advantage of new syntax "assert { ... by ... so ... }"?

Le 16/11/2016 à 10:08, Claude Marché a écrit : > This addition is due to Martin Clochard, a paper explaining that should > appear very soon (in French first, sorry for non-french speaking > user...) For info, the paper in question is there : https://hal.inria.fr/hal-01404935 -- Claude Marché