Login / Signup

Verifying traits: an incremental proof system for fine-grained reuse.

Ferruccio DamianiJohan DovlandEinar Broch JohnsenIna Schaefer
Published in: Formal Aspects Comput. (2014)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • tightly coupled
  • model checking
  • learning objects
  • modal logic
  • image segmentation
  • information extraction
  • search engine
  • natural language processing