Publikation
Maksym Bortin; Einar Broch Johnsen; Christoph Lüth
In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.
@article{pub3895, author = { Bortin, Maksym and Johnsen, Einar Broch and Lüth, Christoph }, title = {Structured Formal Development in Isabelle}, year = {2006}, volume = {13}, pages = {1--20}, journal = {Nordic Journal of Computing} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023