%0 Journal Article %1 journals/corr/abs-2010-06622 %A Meirim, Filipe %A Pereira, Mário %A Ferreira, Carla %D 2020 %J CoRR %K %T CISE3: Verifying Weakly Consistent Applications with Why3. %U http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-06622 %V abs/2010.06622

@article{journals/corr/abs-2010-06622, added-at = {2023-12-14T16:14:14.000+0100}, author = {Meirim, Filipe and Pereira, Mário and Ferreira, Carla}, biburl = {https://www.bibsonomy.org/bibtex/2d9f5f2b245e4949253c4e509e326f7f1/admin}, ee = {https://arxiv.org/abs/2010.06622}, interhash = {f541b40fea7c8808b941c81d751b0106}, intrahash = {d9f5f2b245e4949253c4e509e326f7f1}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:14:14.000+0100}, title = {CISE3: Verifying Weakly Consistent Applications with Why3.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-06622}, volume = {abs/2010.06622}, year = 2020 }