Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Formal methods and standards: an idiosyncratic view
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |