dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Formal Program Development 1993

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman (Eds.): Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755 Springer 1993, ISBN 3-540-57499-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 25 18:26:13 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page