Branko Markoski

Information about the author Branko Markoski will soon be added to the site.

Found 1 papers in total

Resolution methods in proving the program correctness

2007

Program testing determines whether its behavior matches the specification, and also...

Papers per page: