- Search

- Kontakt

Algebraic calculation of graph and sorting algorithms

B. Möller
In D. Bjorner, M. Broy, I.V. Pottosin (eds.): Formal methods in Programming and their Applications, LNCS 735.
pp. 394-413, 1993.
Springer-Verlag.