Reflections on Verifying Software with Whiley.

David J. Pearce Lindsay Groves

Published in: FTSCS (2013)

Keyphrases

software systems
software development
user interface
software design
software tools
software maintenance
real world
computer systems
software developers
neural network
hardware design
source code
information technology
data structure
decision trees
information retrieval
commercial software