The logic of correctness in software engineering

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 titleThe logic of correctness in software engineering
AuthorsPriestley, M.
EditorsPastor, O. and Falcao e Cunha, J.
Book titleAdvanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005: proceedings
Year2005
PublisherSpringer
Publication dates
Published2005
Place of publicationBerlin, Germany
SeriesLecture notes in computer science
ISBN3540260951
Journal citation(3520), pp. 463-473

Permalink - https://westminsterresearch.westminster.ac.uk/item/92xyz/the-logic-of-correctness-in-software-engineering


Share this
Tweet
Email

Usage statistics

19 total views
0 total downloads
0 views this month
0 downloads this month
These values are for the period from September 2nd 2018, when this repository was created

Export as