| Title: |
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving |
| Authors: |
Moore, Nicholas, Lawford, Mark |
| Source: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :58-64 May, 2017 |
| Relation: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) |
| Database: |
IEEE Xplore Digital Library |
