Slicing Agent Programs for More Efficient Verification.

Michael Winikoff, Louise A. Dennis, Michael Fisher

Browse the full EMAS paper archive.