Structured formal development in Isabelle

Structured formal development in Isabelle

Article

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

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

Saved in:

Language

English

Classification

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

Subjects/keywords

program development

transformation

theorem provers

monads