María Luisa Rodríguez

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 1

Top Topics

Mutual Exclusion

Formal Analysis

Business Requirements

Software Components

Top Venues

J. Syst. Softw.

Sci. Comput. Program.

Publications