Abel Garcia

According to our database, Abel Garcia authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Static analysis of cloud elasticity.

Abel Garcia, Cosimo Laneve, Michael Lienhardt

Sci. Comput. Program., 2017

Deadlock Detection of Java Bytecode.

Cosimo Laneve, Abel Garcia

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017