Special Session on Security Verification.

Alex Goryachev
Published in: Haifa Verification Conference (2012)