Showing results 13 to 13 of 13
< previous
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
Semi-proving: An integrated method for program proving, testing, and debugging Journal:IEEE Transactions on Software Engineering | 2011 | 112 |
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
Semi-proving: An integrated method for program proving, testing, and debugging Journal:IEEE Transactions on Software Engineering | 2011 | 112 |