Program algebra for sequential code
| Authors |
|
|---|---|
| Publication date | 2002 |
| Journal | The Journal of Logic and Algebraic Programming |
| Volume | Issue number | 51 | 2 |
| Pages (from-to) | 125-156 |
| Number of pages | 32 |
| Organisations |
|
| Document type | Article |
| Published at |
https://doi.org/10.1016/S1567-8326(02)00018-8
(Final published version)
|
| Permalink to this page | |
