Efficient Program Verification Using Binary Trees and Program Slicing.

Masakazu Takahashi, Noriyoshi Mizukoshi, Kazuhiko Tsuda

Browse the full KES paper archive.