MOBILESoft 2023
Mon 15 - Tue 16 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Program
MOBILESoft Program
Your Program
Keynote
Mon 15 May
Tue 16 May
Tracks
MOBILESoft 2023
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Organization
MOBILESoft 2023 Committees
Organizing Committee
Track Committees
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2023
(
series
) /
MOBILESoft 2023
(
series
) /
Andrew Sogokon
ICSE 2023 profile
conf.research.org general profile
POPL 2016 profile
Not registered as user yet
Name:
Andrew Sogokon
Contributions
2023
ICSE
Pegasus: A Framework for Sound Continuous Invariant Generation
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Thu 21 Nov 21:17