Invariant Detection Using Enhanced Autoinfer

Sadia Ashraf, Almas Abbasi. Invariant Detection Using Enhanced Autoinfer. JSW, 12(10):816-823, 2017. [doi]

Authors

Sadia Ashraf

This author has not been identified. Look up 'Sadia Ashraf' in Google

Almas Abbasi

This author has not been identified. Look up 'Almas Abbasi' in Google