[Lecture Notes in Computer Science] Formal Methods in Programming and Their Applications Volume 735 || Algebraic calculation of graph and sorting algorithms
Bjørner, Dines, Broy, Manfred, Pottosin, Igor V.Volume:
10.1007/BF
Année:
1993
Langue:
english
Pages:
20
DOI:
10.1007/bfb0039722
Fichier:
PDF, 803 KB
english, 1993