Refinement and implementation techniques for Abstract State Machines

Schmid, Joachim

Back to results

Universität Ulm

Refinement and implementation techniques for Abstract State Machines

dc:creator Schmid, Joachim

2002

Degree

thesis:*

Level thesis:degree_level: thesis.doctoral
Grantor dc:publisher: Universität Ulm
Year: 2002

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Schmid, Joachim

Subjects

dc:subject × 6

ASM
AsmGofer
Compilation
Functional programming system
Refinement techniques
Submachine

Identifiers

dc:identifier.*

Repository record source_url: http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-15782
OAI identifier oai:identifier: oai:oparu.uni-ulm.de:123456789/52

Chain of custody

source

Harvested from: Universität Ulm
Base URL: oparu.uni-ulm.de/server/oai/request
Last updated: 2026-07-24
Source record: OAI-PMH GetRecord

related terms

ASM
AsmGofer
Compilation
ulm-diss
thesis.doctoral
2002

citation

Schmid, Joachim. Refinement and implementation techniques for Abstract State Machines. thesis.doctoral thesis, Universität Ulm, 2002. http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-15782

Refinement and implementation techniques for Abstract State Machines

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from Universität Ulm