Summary
Computer software pervades our life but far too much of it contains programming errors (bugs). Software is more and more complex and such errors are unavoidable if programmers are not accompanied with some tools that help auditing software codes. Static analysis is an...
More information & hyperlinks
| Web resources: | https://davidpichardie.github.io/erc/ |
