A looming fault tolerance software crisis?
ACM SIGSOFT Software Engineering Notes
Constraint Solving and Symbolic Execution
Verified Software: Theories, Tools, Experiments
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |