An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |