Automated Technology for Verification and Analysis - Shuvendu K. Lahiri; Chao Wang
Keywords: Computer Science; Software Engineering