The logic of correctness in software engineering

Priestley, Mark (2005) The logic of correctness in software engineering. In: 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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Users 4 not found.
Date Deposited: 02 Dec 2005
Last Modified: 20 Oct 2009 12:05

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)