Lookup NU author(s): Dr Sadegh Soudjani
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer International Publishing, 2019.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Lavaei A, Soudjani S, Zamani M
Editor(s): Majid Zamani and Damien Zufferey
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 12th International Workshop on Numerical Software Verification (NSV 2019)
Year of Conference: 2019
Online publication date: 03/08/2019
Acceptance date: 23/05/2019
Date deposited: 04/11/2019
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science