Algorithmic theory of stacks

Z Lem
Skocz do: nawigacji, wyszukiwania

This is a stub.

Consult the paper Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda. Algorithmic Logic + SpecVer = the methodology for high integrity programming. „Fundamenta Informaticae”, s. 1-17, 2008.