SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
ACM SIGSOFT Software Engineering Notes
A formally based framework for supporting design and analysis of asynchronous hardware systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |