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
Number of items: 1.

Amjad, Hasan and Bornat, Richard (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. 9783540938996. (doi:10.1007/978-3-540-93900-9_6)

This list was generated on Wed Oct 23 05:16:21 2019 BST.