Login / Signup
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