Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Hi-index | 4.10 |
First Page of the Article