Priestley, M. 2005. The logic of correctness in software engineering. in: Pastor, O. and Falcao e Cunha, J. (ed.) Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005: proceedings Berlin, Germany Springer.
| Chapter title | The logic of correctness in software engineering |
|---|---|
| Authors | Priestley, M. |
| Editors | Pastor, O. and Falcao e Cunha, J. |
| Book title | Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005: proceedings |
| Year | 2005 |
| Publisher | Springer |
| Publication dates | |
| Published | 2005 |
| Place of publication | Berlin, Germany |
| Series | Lecture notes in computer science |
| ISBN | 3540260951 |
| Journal citation | (3520), pp. 463-473 |