Document Open Access Logo

Specification Problem (Dagstuhl Seminar 9439)

Authors Manfred Broy, Leslie Lamport



PDF
Thumbnail PDF

File

DagSemRep.98.pdf
  • Filesize: 135 kB
  • 18 pages

Document Identifiers

Author Details

Manfred Broy
Leslie Lamport

Cite AsGet BibTex

Manfred Broy and Leslie Lamport. Specification Problem (Dagstuhl Seminar 9439). Dagstuhl Seminar Report 98, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1994)
https://doi.org/10.4230/DagSemRep.98

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail