Toggle Main Menu Toggle Search

ePrints

Expression decomposition in a rely/guarantee context

Lookup NU author(s): Dr Joey Coleman

Downloads


Publication metadata

Author(s): Coleman J

Publication type: Conference Proceedings (inc. Abstract)

Conference Name: Verified Software: Theories, Tools, Experiments

Year of Conference: 2008

Pages: 146-160

: 03029743

:

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-540-87873-5_14

DOI: 10.1007/978-3-540-87873-5_14

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540878726


Actions

    Link to this publication


Share