Thomas Colcombet and Pascal Fradet. Enforcing trace properties by program transformation (2004)

by ACM Press