ePrints

A Formal Approach to Designing Reliable Advisory Systems

Lookup NU author(s): Luke Martin, Emeritus Professor Alexander RomanovskyORCiD

Downloads

• Accepted version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).

Publication metadata

Author(s): Martin L, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 8th International Workshop, SERENE 2016

Year of Conference: 2016

Pages: 28-42

Print publication date: 15/09/2016

Acceptance date: 15/06/2016

Date deposited: 30/11/2016

ISSN: 0302-9743

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-319-45892-2

DOI: 10.1007/978-3-319-45892-2

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319458915

Share