Formal Methods for the Reengineering of Computing Systems (1997)

by X Liu, H Yang, H Zedan
Venue:In Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97