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

City

Kerala Thiruvananthapuram / Seattle / Natarajan Shankar / Georgia John Rushby / Atlanta / /

Company

Andrew Ireland / /

Country

United States / /

Currency

USD / /

/

Facility

University Bloomington / Lee Pike / studio END movie_rec / s‘name studio / Choppella Arijit Sengupta Indian Institute of Information Technology / /

IndustryTerm

software engineering / automated formal verification tools / verification tools / formal methods tools / /

MusicGroup

Menlo Park / /

Organization

unit_of‘crew unit / Wright State University / Indiana University / Choppella Arijit Sengupta Indian Institute / /

Person

Edward Robertson / Paul Jackson Joseph Kiniry Panagiotis / Michael Whalen Brian Williams / Marsha Chechik Jin Song Dong / Sylvain Conchon / George Spanoudakis / Steve Johnson Topology / Bill James Ellis / Yunwen Ye / Marcelo Frias Chris George Mike / David Naumann Paritosh Pandya / Jin Song Dong Jean-Christophe Filliatre / Graham Hughes / Sven Schewe / Alexander Egyed / Bernd Fischer / Johannes Kanig / George Mike Gordon Constance / Srikanth / Ofer Strichman Neeraj Suri Mark / Steven D. Johnson / Bernd Finkbeiner Marcelo Frias Chris / Neeraj Suri Mark Utting Michael Whalen Brian / Paul Jackson / Shankar Menlo Park / Sam Owre / Evelyne Contejean / David Monniaux David Naumann Paritosh / John Rushby Natarajan Shankar Menlo / John Rushby / Dong Jean-Christophe Filliatre Bernd Finkbeiner Marcelo / David Lester / Bruno Dutertre / Edward L. Robertson Steven / Ramesh Scott Stoller Ofer Strichman Neeraj / Neelam Gupta / Ashish Tiwari / Jun Sun Yuzhang Feng iii / Joseph Kiniry Panagiotis Manolios Paul / Kathleen Sharp / Chris George Mike Gordon / Bernd Finkbeiner / Kurt Stirewalt / Mark-Oliver Stehr Jun Sun Yuzhang / Mike Gordon Constance Heitmeyer Paul Jackson Joseph / /

/

Position

abstract data model for the mini-example / publicity chair / Proof Assistant / Model / designer / conference general chair / ACM Publications Coordinator / record-based ER model for the mini-example / Miner / /

Product

Listing 3.6 / /

ProvinceOrState

Washington / California / Georgia / /

Technology

Information Technology / data modeling / /

SocialTag