David Neubart

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

Chia-Chu Chiang, David Neubart
A formal method for proving programs correct. SMC (2001)
Chia-Chu Chiang, David Neubart
Constructing Reusable Specifications Through Analogy. SAC (1999)