Semantics of First Order Parametric Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Science of Computer Programming
Hi-index | 0.00 |