Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Verification of the Alpha 21364 Network Protocol -- Dependently Typed Records for Representing Mathematical...”