%0 Journal Article %1 journals/sttt/BobotFMP15 %A Bobot, François %A Filliâtre, Jean-Christophe %A Marché, Claude %A Paskevich, Andrei %D 2015 %J Int. J. Softw. Tools Technol. Transf. %K %N 6 %P 709-727 %T Let's verify this with Why3. %U http://dblp.uni-trier.de/db/journals/sttt/sttt17.html#BobotFMP15 %V 17

@article{journals/sttt/BobotFMP15, added-at = {2023-12-12T21:40:25.000+0100}, author = {Bobot, François and Filliâtre, Jean-Christophe and Marché, Claude and Paskevich, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/27be067dbecb4dd1131e59a0562d132a3/admin}, ee = {https://doi.org/10.1007/s10009-014-0314-5}, interhash = {41a8b345a60ef3892566f854d28e0665}, intrahash = {7be067dbecb4dd1131e59a0562d132a3}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 6, pages = {709-727}, timestamp = {2023-12-12T21:40:25.000+0100}, title = {Let's verify this with Why3.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt17.html#BobotFMP15}, volume = 17, year = 2015 }