Specification Extraction by Symbolic Execution

Pichler, J. (Speaker)

Activity: Talk or presentationOral presentation

Period15 Oct 2013
Event titleWorking Conference on Reverse Engineering: null
Event typeConference
LocationKoblenz, Germany