Expression decomposition in a rely/guarantee context

  1. Lookup NU author(s)
  2. Dr Joey Coleman
Author(s)Coleman J
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference NameVerified Software: Theories, Tools, Experiments
Conference LocationToronto, Canada
Year of Conference2008
Legacy Date6-8 October 2008
Volume5295
Pages146-160
Series TitleLecture Notes in Computer Science
03029743
ISBN3540878726
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-540-87873-5_14
DOI10.1007/978-3-540-87873-5_14
Actions    Link to this publication
Share
Library holdingsSearch Newcastle University Library for this item