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