Login / Signup
Roberto Garigliano
ORCID
Publication Activity (10 Years)
Years Active: 1986-2023
Publications (10 Years): 3
Top Topics
Black Box
Requirements Engineering
Systems Engineering
Formal Semantics
Top Venues
REFSQ Workshops
J. Inf. Technol. Tour.
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>