|
|
by Martínez, Luis, Rodriguez, Rosa M., Herrera, Francisco
Published 2015
Subjects:
“...Logics and Meanings of Programs...”Published 2015
Springer International Publishing