The Dafny Integrated Development Environment.

K. Rustan M. Leino Valentin Wüstholz

Published in: F-IDE (2014)

Keyphrases

integrated development environment
object oriented programming
source code
programming language
database design
award winning
programming concepts
microsoft access
database applications
object oriented
open source
sql server
computer programming
high level
database
key concepts
case study
data mining