Petar Hotomski

Information about the author Petar Hotomski 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: