Invited talk on Space Invader

Hongseok is going to give an invited talk on Space Invader at Systems Software Verification (SSV 08) in Sydney.

If you are in the Sydney area don't miss it!