Items where Author / Artist / Editor is "Bowen, Jonathan P."

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

Bornat, Richard ORCID logoORCID: (2010) Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Boca, Paul, Bowen, Jonathan P. and Siddiqi, Jawed, eds. Springer-Verlag, London, pp. 217-248. ISBN 9781848827356. [Book Section] (doi:10.1007/978-1-84882-736-3_7)

This list was generated on Sat Sep 23 04:26:34 2023 BST.