Normal view
MARC view
María del Mar Gallardo, Pedro Merino(Personal Name)
Machine generated authority record
Work cat.: (OSt)1631413: María del Mar Gallardo, Pedro Merino, Model Checking Software