|
Related terms:
logic
errors
semantics
abstract
automated
system
program
techniques
software
mathematical
specification
development
software engineering
programming language
Wikipedia sources: Formal methods Static code analysis Software development process Context for words: formal methods |
|