Anne-Louise Radimsky

Publication Activity (10 Years)

Years Active: 2000-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)
Daniel D. McCracken, Manuel A. Pérez-Quiñones, Robert Bryant, Frederick N. Springsteel, Anne-Louise Radimsky
Experiences in starting computer engineering programs (panel session). SIGCSE (2000)