WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

The logic of correctness in software engineering

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