Lu-Chi Liu is an author at University of Amsterdam specializing in system software, data security, and formal verification.
Top concepts
EngineeringData PrivacyData SecurityFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsSoftware Analysis
Publications per year
2020–2020
1
1
eFLINT: a domain-specific language for executable norm specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg et al. · 2020 · 38 citations · Full text
Rows per page
1–1 of 1