An innovative teaching tool for the verification of abstract data type implementations from formal algebraic specifications

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

ISSN: 1877-0509

Datum der Publikation: 2012

Ausgabe: 9

Seiten: 1743-1752

Art: Konferenz-Beitrag

DOI: 10.1016/J.PROCS.2012.04.192 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus