Sherri M. Sanders

Publication Activity (10 Years)

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

Publications

Sherri M. Sanders, Cui Zhang
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. SEKE (2008)