×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [behaved programs]
Home >
behaved programs
Modular Shape Analysis for Dynamically Encapsulated Programs Noam Rinetzky Tel Aviv University Arnd Poetzsch-HeffterUniversität Kaiserlauten Ganesan RamalingamMicrosoft.
219 views
Modular Shape Analysis for Dynamically Encapsulated Programs
27 views
Modular Shape Analysis for Dynamically Encapsulated Programs
55 views