Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz

de Martin Davis, Jt Schwartz

Más obras de Martin Davis

The 25 Greatest Achievements in Golf

Cases and Materials on Housing Law (Cases & Materials)