Piskac, Ruzica International Max Planck Research School, MPI for Informatics, Max Planck Society;
Piskac, R. (2005). Formal correctness of Result Checking for Priority Queues. Master Thesis, Universität des Saarlandes, Saarbrücken.