Daniel Stearns

Publication Activity (10 Years)

Years Active: 1991-2006
Publications (10 Years): 0

Publications

Judy Tantivongsathaporn, Daniel Stearns
An Experience With Design by Contract. APSEC (2006)
Brent Auernheimer, Daniel Stearns
Using the Aslan Formal Specification Language in Undergraduate Software Engineering Courses. Comput. Sci. Educ. 2 (2) (1991)