Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto

John Harrison, Josef Urban, Freek Wiedijk eds.
Published: 2016-01-29

QED 20th anniversary