Abstracting refinements for transformation

Abstracting refinements for transformation

Artikkeli

Johnsen, Einar Broch ; Lüth, Christoph

Julkaisussa: Nordic journal of computing 10 (2003) : 4, s. 313-336

Tallennettuna:

Kieli

englanti

Luokitus

acmccs F.3.1
acmccs F.4.1
acmccs I.2.2

Aiheet/asiasanat

program refinement

transformation

theorem provers

proof reuse

Saatavuustiedot

Henkilökuntanäyttö