Derivation of Sorting Algorithms from a Specification
Gespeichert in:
Verfasser / Beitragende:
[R. G. Dromey]
Ort, Verlag, Jahr:
1987
Enthalten in:
The Computer Journal, 30/6(1987-12), 512-518
Format:
Artikel (online)
Online Zugang: