Mechanized reasoning and hardware design /
edited by C.A.R. Hoare and M.J.C. Gordan.
Description
Viewability
Item Link | Original Source |
---|---|
Limited (search only) | University of California |