Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Point:On the Balance between Theory and PracticeCounterpoint:Software Engineering Is a Value-Based Contact Sport