From Software Specifications to Constraint Programming

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

DOI

OriginalsprogEngelsk
TitelSoftware Engineering and Formal Methods : 16th International Conference, SEFM 2018, Proceedings
RedaktørerEinar Broch Johnsen, Ina Schafer
Antal sider15
ForlagSpringer
Udgivelsesår30 maj 2018
Sider21-36
ISBN (trykt)978-3-319-92969-9
ISBN (Elektronisk)978-3-319-92970-5
DOI
StatusUdgivet - 30 maj 2018
Begivenhed16th
International Conference on Software Engineering and Formal
Methods
- Toulouse, Frankrig
Varighed: 27 jun. 201829 jun. 2018
https://www.isf.cs.tu-bs.de/cms/events/sefm2018/

Konference

Konference16th
International Conference on Software Engineering and Formal
Methods
LandFrankrig
ByToulouse
Periode27/06/201829/06/2018
Internetadresse
SerietitelLecture Notes in Computer Science
Vol/bind10886
ISSN0302-9743
SerietitelTheoretical Computer Science and General Issues
Vol/bind10886

Se relationer på Aarhus Universitet Citationsformater

ID: 132528349