Vis enkel innførsel

Towards user-friendly and efficient analysis with alloy

dc.contributor.authorWang, Xiaoliang
dc.contributor.authorRutle, Adrian
dc.contributor.authorLamo, Yngve
dc.date.accessioned2018-02-01T15:18:34Z
dc.date.available2018-02-01T15:18:34Z
dc.date.issued2015
dc.identifier.citationWang X, Rutle A, Lamo Y. Towards user-friendly and efficient analysis with alloy. CEUR Workshop Proceedings. 2015;1514:28-37
dc.identifier.issn1613-0073
dc.identifier.urihttp://hdl.handle.net/11250/2482199
dc.description-
dc.language.isoeng
dc.relation.ispartofCEUR Workshop Proceedings
dc.relation.urihttp://ceur-ws.org/Vol-1514/paper4.pdf
dc.titleTowards user-friendly and efficient analysis with alloy
dc.typePeer reviewed
dc.typeJournal article
dc.date.updated2017-10-06T09:06:05Z
dc.identifier.cristin1262401


Tilhørende fil(er)

Thumbnail
Filnavn:
paper4+%281%29.pdf
Størrelse:
893.5Kb
Format:
PDF
Åpne

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel