Verifying Software Requirements Based on Answer Set Programming.

Kedian Mu, Qi Zhang, Zhi Jin

Browse the full KSEM paper archive.