Surveyors' forum: runtime checking and debugging of formally specified programs
ACM Computing Surveys (CSUR)
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Hi-index | 0.00 |