Konstruktion korrekter Programme durch Transformation
| dc.contributor.author | Partsch, Helmuth | |
| dc.contributor.author | Möller, Bernhard | |
| dc.date.accessioned | 2018-02-02T02:16:02Z | |
| dc.date.available | 2018-02-02T02:16:02Z | |
| dc.date.issued | 1987 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/15673 | |
| dc.language.iso | de | |
| dc.publisher | Springer-Verlag | |
| dc.relation.ispartof | Informatik Spektrum: Vol. 10, No. 6 | |
| dc.title | Konstruktion korrekter Programme durch Transformation | de |
| dc.type | Text/Journal Article | |
| gi.citation.endPage | 323 | |
| gi.citation.publisherPlace | Berlin Heidelberg | |
| gi.citation.startPage | 309 |