Registered user since Fri 19 May 2017
Name: Damian Dechev
Contributions
| ICPC 2019 | CCSpec: A Correctness Condition Specification Tool | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
- Attending
- Sponsorship
- Program
- Tracks
- ICSE 2019
- Plenary
- Technical Track
- Journal-First Papers
- Software Engineering in Practice
- Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- ACM Student Research Competition
- Technical Briefings
- Industry Program
- Artifact Evaluation
- Posters
- Workshops
- Doctoral Symposium
- New Faculty Symposium
- Student Mentoring Workshop
- Faculty Mentorship Lunch
- Co-Located Events
- ROSE Festival
- Most Influential Paper ICSE N-10
- Tutorials
- Student Volunteers
- Practice Speaker Room
- Submitting to ICSE2019: Q&A
- Resources
- Community Meetings
- Papers
- Organization
- ICSE 2019
- Organizing Committee
- Technical Track
- Journal-First Papers
- Software Engineering in Practice
- Software Engineering Education and Training
- Software Engineering in Society
- New Ideas and Emerging Results
- Demonstrations
- ACM Student Research Competition
- Artifact Evaluation
- Posters
- Workshops
- Doctoral Symposium
- New Faculty Symposium
- Most Influential Paper ICSE N-10
- Contributors
- People Index
- Co-hosted Conferences
- FormaliSE
- ICGSE
- ICPC
- ICSSP
- MOBILESoft
- MSR
- Organizing Committee
- MSR 2019 Technical Papers Program Committee
- MSR 2019 Mining Challenge Mining Challenge Committee
- MSR 2019 Data Showcase Data Showcase Committee
- MSR 2019 Education Track Committee
- MSR 2019 MSR Awards MSR Awards Committee
- MSR 2019 MIP Award MIP Award Committee
- MSR 2019 FOSS Award Program Committee
- OSS
- TechDebt
- Co-hosted Symposiums
- SEAMS
- Search
- Series