Sandrine Blazy, Marsha Chechik. Selected Extended Papers of VSTTE 2016. Journal of Automated Reasoning, 60(3):255-256, 2018. [doi]
@article{BlazyC18, title = {Selected Extended Papers of VSTTE 2016}, author = {Sandrine Blazy and Marsha Chechik}, year = {2018}, doi = {10.1007/s10817-017-9430-8}, url = {https://doi.org/10.1007/s10817-017-9430-8}, researchr = {https://researchr.org/publication/BlazyC18}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {60}, number = {3}, pages = {255-256}, }