Towards machine-assisted formal procedures for the collection of digital evidence.

Martn Barrre, Gustavo Betarte, Marcelo Rodrguez

Browse the full PST paper archive.