From Software Specifications to Constraint Programming

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods : 16th International Conference, SEFM 2018, Proceedings
EditorsEinar Broch Johnsen, Ina Schafer
Number of pages15
PublisherSpringer
Publication year30 May 2018
Pages21-36
ISBN (print)978-3-319-92969-9
ISBN (Electronic)978-3-319-92970-5
DOIs
Publication statusPublished - 30 May 2018
Event16th
International Conference on Software Engineering and Formal
Methods
- Toulouse, France
Duration: 27 Jun 201829 Jun 2018
https://www.isf.cs.tu-bs.de/cms/events/sefm2018/

Conference

Conference16th
International Conference on Software Engineering and Formal
Methods
LandFrance
ByToulouse
Periode27/06/201829/06/2018
Internetadresse
SeriesLecture Notes in Computer Science
Volume10886
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues
Volume10886

See relations at Aarhus University Citationformats

ID: 132528349