Back to Results
First PageMeta Content
Information / Database theory / Database management systems / Data model / Entity-relationship model / Database schema / EXPRESS / Integrity constraints / Database design / Data management / Data modeling / Data


AFM’07: Second Workshop on Automated Formal Methods November 6, 2007 Atlanta, Georgia John Rushby and Natarajan Shankar (Editors) SRI International
Add to Reading List

Document Date: 2007-10-28 17:34:19

Open Document

File Size: 1,38 MB

Share Result on Facebook
UPDATE