Witteveen Cees

Cees Witteveen

Information about the author Cees Witteveen will soon be added to the site.
Found 1 papers in total
Program equilibrium–a program reasoning approach
2013
The concept of program equilibrium , introduced by Howard (2004), represents one of...
Papers per page: