An innovative teaching tool based on semantic tableaux for verification and debugging of imperative programs

  1. Del Vado Vírseda, R.
  2. Morente, F.P.
Aktak:
Procedia Computer Science

ISSN: 1877-0509

Argitalpen urtea: 2011

Alea: 4

Orrialdeak: 1907-1916

Mota: Biltzar ekarpena

DOI: 10.1016/J.PROCS.2011.04.208 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus