Search results for: Juan Manuel Crespo
Journal of Chemical Technology & Biotechnology > 92 > 2 > 305 - 310
Lecture Notes in Computer Science > FM 2011: Formal Methods > Program Compilation and Transformation > 200-214
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 847-859
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 122-137
Applied Soil Ecology > 2012 > 61 > Complete > 225-229