Login / Signup
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs.
Rafael del Vado Vírseda
Fernando Pérez Morente
Published in:
ICCS (2011)
Keyphrases
</>
imperative programs
hardware designs
natural language
learning process
semantic information
online learning
semantic annotation
high school
xml documents
database design
distance learning
formal verification
programming exercises