Formal Methods for the Re-Engineering of Computing Systems: A Comparison.

Xiaodong Liu, Hongji Yang, Hussein Zedan

Browse the full COMPSAC paper archive.