C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatic verification of database-driven systems: a new frontier.
Victor Vianu
Published in:
ICDT (2009)
Keyphrases
</>
database driven
distributed systems
management system
web search
user friendly