404. That’s an error.

The requested URL /2010/01/21/guest-lecture-on-formal-methods-in-reverse-engineering/trackback/ was not found on this server. That’s all we know.