Adrian Mifsud is an author at University of Malta specializing in formal verification, formal methods, and engineering.
Top concepts
SemanticsEngineeringFormal MethodsAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1995–2002
2
2
Adrian Mifsud, R. Milner, John Power · Logic in Computer Science · 1995 · 29 citations
Adrian Mifsud, R. Milner, John Power · 2002 · 10 citations
Rows per page
1–2 of 2