MINION: an environment to organize mathematical problem solving
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
An Environment for Developing Fault-Tolerant Software
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |