Structured formal development in Isabelle

Structured formal development in Isabelle

Artikkeli

Bortin, Maksym ; Johnsen, Einar Broch ; Lüth, Christoph

Julkaisussa: Nordic journal of computing 13 (2006) : 1-2, s. 2-21

Tallennettuna:

Kieli

englanti

Luokitus

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

Aiheet/asiasanat

program development

transformation

theorem provers

monads

Saatavuustiedot

Henkilökuntanäyttö