Tools and Algorithms for the Construction and Analysis of SystemsParosh Aziz Abdulla, K. Rustan M. Leino₹5,593
Reorienting Educational Efforts for Sustainable DevelopmentPreeti Rawat Kanaujia, Rajeswari Namagiri Gorana₹8,161