Items where Author / Artist / Editor is "Jones, Neil D."

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Amjad, Hasan and Bornat, Richard ORCID logoORCID: (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)

This list was generated on Thu Sep 21 04:36:26 2023 BST.