A Theory of Specifications, Programs and Proofs (Doktorsavhandlingar vid Chalmers Tekniska Högskola)

by Nora Szasz

Paperback

ISBN: 978-91-7197-510-2

ISBN-10: 91-7197-510-1

Department of Computing Science, Chalmers University of Technology · 1997