Li Ma is an author at Lancaster University specializing in formal methods, software design, and technology.
Top concepts
LawDesignBusinessPoliticsDemocracyTechnologyEngineeringVerificationFormal MethodsComparative Law
Publications per year
2000–2024
3
3
Making Tacit Requirements Explicit
Ricardo Gacitúa, Li Ma, Bashar Nuseibeh et al. · 2009 · 40 citations
Rows per page
1–3 of 3