A general approach for expressing infeasibility in Implicit Path Enumeration Technique
| Title: | A general approach for expressing infeasibility in Implicit Path Enumeration Technique |
|---|---|
| Authors: | Raymond, Pascal |
| Source: | 2014 International Conference on Embedded Software (EMSOFT) Embedded Software (EMSOFT), 2014 International Conference on. :1-9 Oct, 2014 |
| Relation: | 2014 International Conference on Embedded Software (EMSOFT) |
| Database: | IEEE Xplore Digital Library |