Publications

You are here

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