Login / Signup

Compliance Proofs for Collaborative Interactions using Aspect-Oriented Approach.

Adomas SvirskasCarine CourbisRefik MolvaJustinas Bedzinskas
Published in: IEEE SCW (2007)
Keyphrases
  • collaborative interactions
  • collaborative learning
  • theorem proving
  • theorem prover
  • computer simulation
  • collaborative learning environments