Algebraic models of behaviour and correctness of SMT and CMT processors
| Date first appeared online | |
| DOI | 10.1016/j.jlap.2007.07.001 |
| Authors | Harman N. |
| Journal Name | The Journal of Logic and Algebraic Programming |
| Volume | 74 |
| Date first appeared online | |
| DOI | 10.1016/j.jlap.2007.07.001 |
| Authors | Harman N. |
| Journal Name | The Journal of Logic and Algebraic Programming |
| Volume | 74 |