Computer Aided Verification - Shuvendu K. Lahiri; Chao Wang (Springer, 2020)
Keywords: Social Sciences