Items where Author / Artist / Editor is "Hou, Ping"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Popescu, Andrei, Lammich, Peter and Hou, Ping (2021) CoCon: A conference management system with formally verified document confidentiality. Journal of Automated Reasoning, 65 (2) . pp. 321-356. ISSN 0168-7433 [Article] (doi:10.1007/s10817-020-09566-9)