Toggle navigation
Home
People
Departments
Research
About
Login
Search
Objet
Journal
Overview
Identity
View All
Overview
publication venue for
Theorem Proving Support for View Consistency Checking
. 9:115-134.
2003
Identity
International Standard Serial Number (ISSN)
1262-1137