Not registered as user yet
Name:José Meseguer
Contributions
| PLDI 2015 | A Semantics-Directed Approach to Program Termination | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2015-profile
View general profile
View general profile
PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
- Attending
- Program
- Tracks
- Organization
- PLDI 2015 Committees
- Organizing Committee
- Track Committees
- Artifact Evaluation
- Research Papers Program Committee
- Research Papers External Review Committee
- Contributors
- People Index
- Search
- Series