Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
Publisher: Creative Media Partners, LLC
Published: 2018
Language: eng
ISBN-13: 9781379252634