Keijiro ARAKI

Specification slicing in formal methods of software development

Tornohiro ODA, Keijiro ARAKI, 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.