Readfeed

WADT '97 (1997 Tarquinia, Italy)

  • Recent trends in algebraic development techniquesRecent trends in algebraic development techniques