Browse by author
Lookup NU author(s): Dr Sadegh SoudjaniORCiD
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
Pages: 101-109
Online publication date: 03/08/2019
Acceptance date: 23/05/2019
Date deposited: 04/11/2019
ISSN: 0302-9743
Publisher: Springer International Publishing
URL: https://doi.org/10.1007/978-3-030-28423-7_7
DOI: 10.1007/978-3-030-28423-7_7
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783030284237
