2010/01: M. Winikoff. Assurance of agent systems: What role should formal verification play?. Abstract | Download (296 KB)