pdf-format: |
|
@InProceedings{abrial_et_al:DagSemProc.06191.2, author = {Abrial, Jean-Raymond and Gl\"{a}sser, Uwe}, title = {{06191 Summary – Rigorous Methods for Software Construction and Analysis}}, booktitle = {Rigorous Methods for Software Construction and Analysis}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6191}, editor = {Jean-Raymond Abrial and Uwe Gl\"{a}sser}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2006/665}, URN = {urn:nbn:de:0030-drops-6656}, doi = {10.4230/DagSemProc.06191.2}, annote = {Keywords: Executive Summary} }
Keywords: | Executive Summary | |
Seminar: | 06191 - Rigorous Methods for Software Construction and Analysis | |
Issue date: | 2006 | |
Date of publication: | 08.08.2006 |