Login / Signup

Educational framework for verification of object-oriented programs.

Magdalina TodorovaKamen Kanev
Published in: HCCE (2012)
Keyphrases
  • e learning