Specification slicing in formal methods of software development.

Tomohiro Oda, Keijiro Araki

Browse the full COMPSAC paper archive.