Sadia Ashraf, Almas Abbasi. Invariant Detection Using Enhanced Autoinfer. JSW, 12(10):816-823, 2017. [doi]
@article{AshrafA17, title = {Invariant Detection Using Enhanced Autoinfer}, author = {Sadia Ashraf and Almas Abbasi}, year = {2017}, doi = {10.17706/jsw.12.10.816-823}, url = {https://doi.org/10.17706/jsw.12.10.816-823}, researchr = {https://researchr.org/publication/AshrafA17}, cites = {0}, citedby = {0}, journal = {JSW}, volume = {12}, number = {10}, pages = {816-823}, }