Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Formal verification techniques for model transformations specified by-demonstration
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.00 |