Deepak D'Souza · 3 obras en el catálogoObrasVerification, Model Checking, and Abstract InterpretationAutomated Technology for Verification and AnalysisMModern Applications of Automata TheoryModern Applications of Automata Theory