Login / Signup
Raúl N. N. Alborodo
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Cross Platform
Preprocessing
Texture Synthesis
Formal Models
Top Venues
Softw. Syst. Model.
</>
Publications
</>
Julio Mariño
,
Raúl N. N. Alborodo
,
Lars-Åke Fredlund
,
Ángel Herranz-Nieva
Synthesis of verifiable concurrent Java components from formal models.
Softw. Syst. Model.
18 (1) (2019)