Workshop on Programming Languages for Mechanized Mathematics [PLMMS 2007]

General Information

Conference Date: 29/06/2007 - 30/06/2007

Venue: RISC, Hagenberg, Austria