Reverse Engineering Through Formal Abstraction
Liu, X. (1998). Reverse Engineering Through Formal Abstraction. In: (Ed.) Post-graduate Conference, 1998, , () (April ed.). (pp. ). De Montfort University: . .
+44 131 455 2747
Areas of Expertise
See all themes
The institute's expertise in software engineering encompasses the entire development lifecycle, and we focus on the approaches and tools to improve the engineering process of both emerging and widely used software systems. Increasing the productivity and improving the quality of software remains a...