Explaining synthesized software

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) ◽

10.1109/ase.1998.732661 ◽

2002 ◽

Author(s):

J. Van Baalen ◽

P. Robinson ◽

M. Lowry ◽

T. Pressburger

Download Full-text