Cooperation of Formal Methods in an Engineering Based Software Development Process
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Termination of Floating-Point Computations
Journal of Automated Reasoning
Hi-index | 0.00 |