SPLASH 2012 (series) / Ilham W. Kurnia
Not registered as user yet
Name:Ilham W. Kurnia
Contributions
| AGERE 2012 | A relational trace logic for simple hierarchical actor-based component systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile