Cited By
View all- Peña R(2019)An Assertional Proof of Red–Black Trees Using DafnyJournal of Automated Reasoning10.1007/s10817-019-09534-yOnline publication date: 3-Oct-2019
- Sievi-Korte OKoskimies KMäkinen E(2015)Techniques for Genetic Software Architecture DesignThe Computer Journal10.1093/comjnl/bxv04958:11(3141-3170)Online publication date: 14-Jul-2015
- Fekete A(2002)Teaching data structures with multiple collection class librariesACM SIGCSE Bulletin10.1145/563517.56349434:1(396-400)Online publication date: 27-Feb-2002
- Show More Cited By