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

Related outputs

No related outputs available.

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


Share this
Tweet
Email