Browse by Journal

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

P

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning, 6 (1) . pp. 1-30. ISSN 1972-5787 (doi:10.6092/issn.1972-5787/3690)

This list was generated on Mon Feb 24 04:35:27 2020 GMT.