Not registered as user yet
Name:Ramtin Khosravi
Contributions
| AGERE! 2015 | Jacco: More Efficient Model Checking Toolset for Java Actor Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2015-profile
View general profile
View general profile
Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
- Attending
- Program
- Tracks
- Onward! 2015
- Onward! Essays
- Onward! Papers
- Organization
- Onward! 2015 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Onward! Essays
- Onward! Papers
- Contributors
- People Index
- Search
- Series