Department of Computer Science

University of California, Santa Barbara

• Home
• Department
• Undergraduate
• Graduate
• Courses
• Research
• People
• News and Events

• Research Areas
• Technical Reports

Abstract

Bidirectional interface grammars

by: Graham Hughes and Tevfik Bultan

Abstract:

TBA

Keywords:

interfaces, automated verification, model checking, modular verification

Date:

October 2008

Document: 2008-16

CS Department of Computer Science • University of California, Santa Barbara

XHTML Validation | CSS Validation
Updated 14-Nov-2005
Questions should be directed to: webmaster@cs.ucsb.edu