Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Duan Malbaki
Information about the author Duan Malbaki will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
Resolution methods in proving the program correctness
2007
Program testing determines whether its behavior matches the specification, and also...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
