Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Defining relationships in ecology using object-oriented formal specifications
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |