scientific article; zbMATH DE number 3823127

zbMATH Open0519.68041MaRDI QIDQ3668853FDOQ3668853

Authors: Ulrich Geske 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

parallel computationprogramming languagespecificationpredicate logic

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3668853)