Skip to main content

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | M
Number of items: 3.

B

Boiten, Eerke Albert (2015) Diversity and Adjudication. Journal of Logical and Algebraic Methods in Programming, . Article Number UNSPECIFIED. ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.007) (KAR id:51066)
[img]
Preview

Bartoletti, Massimo, Murgia, Maurizio, Scalas, Alceste, Zunino, Roberto (2015) Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming, 86 (1). pp. 159-207. ISSN 2352-2208. (doi:10.1016/j.jlamp.2015.10.005) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:64593)

M

Marco, Paviotti, Jesper, Bengtson (2018) Formally verifying Exceptions for Low-level code with Separation Logic. Journal of Logical and Algebraic Methods in Programming, 94 . pp. 1-14. ISSN 2352-2208. (doi:10.1016/j.jlamp.2017.09.004) (KAR id:67658)
[img]
Preview

This list was generated on Mon Aug 3 23:26:00 2020 BST.