Carlos Müller

CM

7

Publications

594

Citations

7

H-Index

2009

Active since

Carlos Müller is an author at Universidad de Sevilla specializing in system software, software maintenance, and formal verification.

Publications per year

2009–2018

7

Publications

7