Login / Signup

An Imperative Extension to Alloy.

Joseph P. NearDaniel Jackson
Published in: ASM (2010)
Keyphrases
  • computer vision
  • database systems
  • multiscale
  • data streams
  • expert systems