Toggle navigation
Home
People
Departments
Research
About
Login
Search
Program Specification and Data Refinement in Type Theory.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
Luo, Zhaohui
publication date
1991
published in
TAPSOFT, Vol.1
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-53982-4
Additional Document Info
start page
143
end page
168
volume
493