7,540 followers Binus Hacker @binushacker Abstract State Machines, Alloy, B, VDM, and Z http://t.co/dkpyVM3t #Journal #Ebooks 13 Jun 2012 Reply Repost Favourite