Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Vincenzo Ambriola  [Clear All Filters]
1985
V. Ambriola, Giannotti, F., Pedreschi, D., and Turini, F., “Symbolic Semantics and Program Reduction”, IEEE Trans. Software Eng., vol. 11, pp. 784-794, 1985.