Articles with public access mandates - Damián AdalidLearn more
Available somewhere: 1
Using SPIN for automated debugging of infinite executions of Java programs
D Adalid, A Salmerón, M del Mar Gallardo, P Merino
Journal of Systems and Software 90, 61-75, 2014
Mandates: Government of Spain
Publication and funding information is determined automatically by a computer program