Programming Research Group
Technical Report TR-15-91
Understanding programs through formal methods
Peter T Breuer,
Kevin Lano and
Jonathan Bowen
May 1991, 17pp.
This paper has been published as
Chapter 15 in Henk van Zuylen (ed.),
The REDO Compendium:
Reverse Engineering for Software Maintenance,
John Wiley & Sons, pp195-223, 1993.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl