Verifying Auctions

  • Manfred Kerber (Contributor)

Activity: Academic and Industrial eventsGuest lecture or Invited talk

Description

Research Seminar at the Department of Computer Science
Period11 Feb 2015
Held atUniversity of York