Items where Author is Pastor, Oscar

Group by: Date | Item Type | Creators | No Grouping

Jump to: 2005

Number of items: 1.

2005

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

This list was generated on Wed Jun 19 13:55:30 2013 BST.

WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.