Mathematics of program construction. Selected papers from the 3rd international conference on mathematics of program construction, July 17-21, 1995, Kloster Irsee, Gemany
From MaRDI portal
Publication:1917145
zbMATH Open0851.00085MaRDI QIDQ1917145
Author name not available (Why is that?)
Publication date: 31 October 1996
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Mathematics of program construction. Selected papers from the 3rd international conference on mathematics of program construction, July 17-21, 1995, Kloster Irsee, Gemany
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1917145)
