Login / Signup
Lightweight software verification with pluggable type-checking.
Michael Ernst
Published in:
CIbSE (2015)
Keyphrases
</>
lightweight
type checking
data types
query processor
relational calculus
abstract data types
object model
management system
expressive power
databases
query processing
wireless sensor networks
relational model
communication infrastructure