Toggle navigation
norsk
English
English
norsk
English
Login
Toggle navigation
View Item
Home
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
View Item
Home
Høgskulen på Vestlandet
Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science
Institutt for datateknologi, elektroteknologi og realfag
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Towards user-friendly and efficient analysis with alloy
Wang, Xiaoliang
;
Rutle, Adrian
;
Lamo, Yngve
Peer reviewed, Journal article
View/
Open
paper4+%281%29.pdf (893.5Kb)
URI
http://hdl.handle.net/11250/2482199
Date
2015
Metadata
Show full item record
Collections
Institutt for datateknologi, elektroteknologi og realfag
[1160]
Original version
Wang X, Rutle A, Lamo Y. Towards user-friendly and efficient analysis with alloy. CEUR Workshop Proceedings. 2015;1514:28-37
Description
-
Search Archive
This Collection
Browse
Archive
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
This Collection
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
My Account
Login
Statistics
View Usage Statistics