Login / Signup

Logical correctness by construction.

Sany M. Leinwand
Published in: DAC (1982)
Keyphrases
  • automatic construction
  • three dimensional
  • data sets
  • multimedia
  • digital libraries