Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Code Level Model-Checking in the Software Development Workflow
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Code Level Model-Checking in the Software Development Workflow
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Code Level Model-Checking in the Software Development Workflow
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Code Level Model-Checking in the Software Development Workflow
View/
Open
Published version (256.1Kb)
Metadata
Show full item record
Authors
Chong, N; Cook, B; KHAZEM, K; Kallas, K; Monteiro, F; Schwartz-Narbonne, D; Tasiran, S; Tautschnig, M; Tuttle, M; International Conference on Software Engineering
URI
https://qmro.qmul.ac.uk/xmlui/handle/123456789/63239
Collections
Electronic Engineering and Computer Science
[3133]
Copyright statements
© 2020 Copyright held by the owner/author(s).