pdf-format: |
|
@InProceedings{brinksma_et_al:DSP:2007:958, author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, title = {06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, year = {2007}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, number = {06351}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2007/958}, annote = {Keywords: Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement} }
Keywords: | Modelling Methods, Design Models, Verification Models, Problem-solution co-refinement | |
Seminar: | 06351 - Methods for Modelling Software Systems (MMOSS) | |
Issue date: | 2007 | |
Date of publication: | 11.04.2007 |