314 followers Model Transformation @ModelTransform Whiley: A Platform for Research in Software Verification http://t.co/MxCSfbyWAf #springerlink 28 Oct 2013 Reply Repost Favourite