Login / Signup
Michela Degl'Innocenti
Publication Activity (10 Years)
Years Active: 1990-1990
Publications (10 Years): 0
</>
Publications
</>
Michela Degl'Innocenti
,
Gian Luigi Ferrari
,
Giuliano Pacini
,
Franco Turini
RSF: A Formalism for Executable Requirement Specifications.
IEEE Trans. Software Eng.
16 (11) (1990)