Panel Description: The Role of Logic and AI in the Software Enterprise.

Robert Balzer

Browse the full ICSE paper archive.