CHASE 2022
Wed 18 - Thu 19 May 2022
Pittsburgh, Pennsylvania, United States
co-located with
ICSE 2022
Toggle navigation
Attending
CHASE: Hybrid model
Venue: David Lawrence Convention Center
Virtual: Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
Complete Program
Your Program
Wed 18 May
Thu 19 May
Track/Call
Organization
CHASE 2022 Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CHASE 2024
CHASE 2023
CHASE 2022
CHASE 2021
Sign in
Sign up
ICSE 2022
(
series
) /
CHASE 2022
(
series
) /
Navneet Aman
ICSE 2022 profile
conf.research.org general profile
Not registered as user yet
Name:
Navneet Aman
Affiliation:
Indian Institute of Science, Bangalore
Contributions
2022
ICSE
Verification of ORM-based Controllers by Summary Inference
Show activities from other conferences
Share
ICSE 2022-profile
View general profile
x
Fri 19 Apr 21:43