Lecture Notes in Computer Science: Towards a calculus of data refinement

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel:	Lecture Notes in Computer Science
Personen und Körperschaften:	Chen, Wei, Udding, Jan Tijmen
In:	Lecture Notes in Computer Science, 1989, S. 197-218
Format:	E-Book-Kapitel
Sprache:	Unbestimmt
veröffentlicht:	Springer Berlin Heidelberg

Online

http://dx.doi.org/10.1007/3-540-51305-1_11