Specification Problem (Dagstuhl Seminar 9439)

Broy, Manfred; Lamport, Leslie

doi:10.4230/DagSemRep.98

Document

Specification Problem (Dagstuhl Seminar 9439)

Authors Manfred Broy, Leslie Lamport

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 1994-12-22

PDF

File

DagSemRep.98.pdf

Filesize: 135 kB
18 pages

Document Identifiers

DOI: 10.4230/DagSemRep.98
URN: urn:nbn:de:0030-drops-149861

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

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail