Explaining Synthesized Software

Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger. Explaining Synthesized Software. In ASE. pages 240-248, 1998. [doi]

Authors

Jeffrey Van Baalen

This author has not been identified. Look up 'Jeffrey Van Baalen' in Google

Peter Robinson

This author has not been identified. Look up 'Peter Robinson' in Google

Michael R. Lowry

This author has not been identified. Look up 'Michael R. Lowry' in Google

Thomas Pressburger

This author has not been identified. It may be one of the following persons: Look up 'Thomas Pressburger' in Google