Priestley, Mark (2005) The logic of correctness in software engineering. In: Pastor, Oscar and Falcao e Cunha, Joao, (eds.) Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005: proceedings. Lecture notes in computer science (3520). Springer, Berlin, Germany, pp. 463-473. ISBN 3540260951
Full text not available from this repository.
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 1061 |
| Deposited On: | 02 Dec 2005 |
| Last Modified: | 20 Oct 2009 13:05 |
Repository Staff Only: item control page
