Wei-Ngan Chin,Ahmed Bouajjani

• Automated Technology for Verification and Analysis