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
CHASE 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 2025
CHASE 2024
CHASE 2023
CHASE 2022
CHASE 2021
Sign in
Sign up
ICSE 2022
(
series
) /
CHASE 2022
(
series
) /
Zsófia Ádám
ICSE 2022 profile
conf.research.org general profile
ICSE 2025 profile
Registered user since Mon 13 Jun 2022
Name:
Zsófia Ádám
Contributions
2022
FormaliSE
C for Yourself: Comparison of Front-End Techniques for Formal Verification
Show activities from other conferences
Share
ICSE 2022-profile
View general profile
x
Sat 23 Nov 11:12