Enhancing Theorem Prover Interfaces with Program Slice Information
Louise A. DennisVolume:
174
Year:
2007
Language:
english
Pages:
15
DOI:
10.1016/j.entcs.2006.09.019
File:
PDF, 285 KB
english, 2007