nigel.stanger / Discussion_Papers
Transfer to URL with SHA Find file
Newer
Older
Discussion_Papers / Website / dps2010-include.htm
nstanger on 11 Jan 2010 240 bytes - Added DP 2010/01.
Raw Blame History 
<p><strong>2010/01:</strong> M. Winikoff. <em>Assurance of agent systems: What role should formal verification play?.</em> <a href="dp2010-abstracts.htm#dp2010-01">Abstract</a> |  <a href="papers/dp2010-01.pdf">Download</a> (296 KB)</p>