Login / Signup
Domain Types: Abstract-Domain Selection Based on Variable Usage.
Sven Apel
Dirk Beyer
Karlheinz Friedberger
Franco Raimondi
Alexander von Rhein
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
domain specific
data mining
data structure
expert systems
domain experts
domain independent
low level
general purpose