REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION
LISITSA, ALEXEI, NEMYTYKH, ANDREI P.Volume:
19
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054108006066
Date:
August, 2008
File:
PDF, 1000 KB
english, 2008