Volume 14, Number 1, June 1990
Volume 14, Numbers 2-3, October 1990
Special Issue on Mathematics of Program Construction
Last update Fri May 24 20:47:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page