Items where Author / Artist / Editor is "Jones, Neil D."
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Amjad, Hasan and Bornat, Richard 
ORCID: https://orcid.org/0000-0002-7261-0233
(2009)
Towards automatic stability analysis for rely-guarantee proofs.
In:
Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings.
Jones, Neil D. and Müller-Olm, Markus, eds.
Lecture Notes in Computer Science
(5403)
.
Springer, pp. 14-28.
ISBN 9783540938996.
[Book Section]
(doi:10.1007/978-3-540-93900-9_6)
