A visual studio plug-in for CProver.

Mohamed Nassim Seghir Daniel Kroening

Published in: TOPI@ICSE (2013)

Keyphrases

visual studio
application development
web applications
visual basic
sql server
database programming
mission critical
stored procedures
book covers
database applications
data manipulation
data access
specific features
data types
oracle database
development process
case study
computational intelligence