共 50 条
- [32] Extension of Alvis Compiler front-end INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
- [36] Modelling and Verification of Real-Time Systems with Alvis TOWARDS A SYNERGISTIC COMBINATION OF RESEARCH AND PRACTICE IN SOFTWARE ENGINEERING, 2018, 733 : 165 - 178
- [38] Alvis-Curtis duality as an equivalence of derived categories MODULAR REPRESENTATION THEORY OF FINITE GROUPS, 2001, : 157 - 174
- [40] Generation of Java']Java Code from Alvis Model INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702