Extracting FSMs from Object-Z Specifications with History Invariants.

Jun Sun, Jin Song Dong

Browse the full ICECCS paper archive.