M. Saidi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

2 C. J. Burgess, M. Saidi: The automatic generation of test cases for optimizing Fortran compilers. Information & Software Technology 38(2): 111-119 (1996)

1989

1 Jean-François Nicaud, M. Saidi: Explanation of Algebraic Reasoning: The Aplusix System. KBCS 1989: 145-154

	1996
2		C. J. Burgess, M. Saidi: The automatic generation of test cases for optimizing Fortran compilers. Information & Software Technology 38(2): 111-119 (1996)
	1989
1		Jean-François Nicaud, M. Saidi: Explanation of Algebraic Reasoning: The Aplusix System. KBCS 1989: 145-154

Coauthor Index