Nixon Sunny George

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky
FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. IRI (2011)