Maintaining verified software.

Joe Leslie-Hurd

Published in: Haskell (2013)

Keyphrases

software development
computer systems
software systems
software platform
software maintenance
source code
operating system
software architecture
software evolution
neural network
open source
user interface
relational databases
artificial intelligence
software developers
genetic algorithm
modeling language