Liquid Types, static verification: deduction, model checking, type systems research.microsoft.com79 pointsgtani14 years ago