Verified Software Toolchain - (Invited Talk).

Andrew W. Appel

Published in: ESOP (2011)

Keyphrases

invited talk
knowledge discovery and data mining
software systems
computer systems
software design
software architecture
selected papers
neural network
case study
learning objects
source code
test cases
embedded systems
software developers
carefully reviewed and selected from submissions
program committee