scientific article; zbMATH DE number 1512626
From MaRDI portal
zbMATH Open0961.68028MaRDI QIDQ4508311FDOQ4508311
Authors: Peter J. Thiemann
Publication date: 3 October 2000
Title of this publication is not available (Why is that?)
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (2)
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 Q4508311)