Not registered as user yet
Name:R Venkatesh
Contributions
| ICSE 2020 | Using Hypersafety Verification for Proving Correctness of Programming Assignments | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2020-profile
View general profile
View general profile
- Attending
- Sponsorship
- Program
- Tracks
- ICSE 2020
- ICSE 2020 Sponsor Events
- Technical Papers
- Virtualization
- ICSE 2020 Plenary Sessions
- Software Engineering in Practice
- Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- Journal First
- Workshops
- ROSE
- Doctoral Symposium
- ICSE 2020 Posters
- New Faculty Symposium
- ACM Student Research Competition
- Technical Briefings
- ICSE 2020 Ask Me Anything
- Birds of a Feather
- Community Meetings
- Cultural Exchange
- Students Meeting Students
- Artifact Evaluation
- Student Mentoring Workshop
- Korean Co-located Events
- Student Volunteers
- Paper Presentations
- Organization
- ICSE 2020 Committees
- Organizing Committee
- Track Committees
- Technical Papers
- Virtualization
- Software Engineering in Practice
- Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- Journal First
- Workshops
- Doctoral Symposium
- ICSE 2020 Posters
- New Faculty Symposium
- ACM Student Research Competition
- Technical Briefings
- Artifact Evaluation
- Student Mentoring Workshop
- Korean Co-located Events
- Student Volunteers
- Contributors
- People Index
- Search
- Series