Template-based construction of verified software.

David Hemer Peter A. Lindsay

Published in: IEE Proc. Softw. (2005)

Keyphrases

software development
computer systems
software systems
artificial intelligence
source code
software architecture
software tools
databases
information systems
multiscale
user interface
software developers
software testing
analysis tool