Login / Signup
The Ideal of Verified Software.
Tony Hoare
Published in:
CAV (2006)
Keyphrases
</>
software systems
software platform
databases
source code
computer systems
hardware design
software design
software architecture
data structure
case study
decision trees
software development
expert systems
software tools
software package
software packages
decision making
software application
machine learning