Michela Degl'Innocenti

List of publications from the DBLP Bibliography Server - FAQ

1990

1 EE Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini: RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990)

1990
1	EE	Michela Degl'Innocenti, Gian Luigi Ferrari, Giuliano Pacini, Franco Turini: RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. 16(11): 1235-1246 (1990)

Coauthor Index

1	Gian Luigi Ferrari (GianLuigi Ferrari)	[1]
2	Giuliano Pacini	[1]
3	Franco Turini	[1]