Not registered as user yet
Name:Pierre LaBorde
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 Committees
- Organizing Committee
- Track Committees
- 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
- Search
- Series