Generating test templates via automated theorem proving

Status

Rate

Check Later

Authors

Mani Prasad Kancherla

Mani Prasad Kancherla

Subjects

Software Engineering Theorem Proving Computer Programming Software Development Tools Failure

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games