Correct-program technology/Extensibility of verifiers. Two papers on program verification

By Martin Davis and J.T. Schwartz.

de Martin Davis · Publicada por primera vez en 1977

Más obras de Martin Davis

The 25 Greatest Achievements in Golf

Cases and Materials on Housing Law (Cases & Materials)

Contract Law (Sourcebook)