Automated Abduction for Computer Forensics.

Andrei Doncescu, Katsumi Inoue

Browse the full ATC paper archive.