Items where Author / Artist / Editor is "Boca, Paul"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
Bornat, Richard 
ORCID: https://orcid.org/0000-0002-7261-0233
(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)
