Show simple item record

Code Level Model-Checking in the Software Development Workflow

dc.contributor.authorChong, Nen_US
dc.contributor.authorCook, Ben_US
dc.contributor.authorKHAZEM, Ken_US
dc.contributor.authorKallas, Ken_US
dc.contributor.authorMonteiro, Fen_US
dc.contributor.authorSchwartz-Narbonne, Den_US
dc.contributor.authorTasiran, Sen_US
dc.contributor.authorTautschnig, Men_US
dc.contributor.authorTuttle, Men_US
dc.contributor.authorInternational Conference on Software Engineeringen_US
dc.date.accessioned2020-03-19T12:07:02Z
dc.date.available2019-12-17en_US
dc.identifier.urihttps://qmro.qmul.ac.uk/xmlui/handle/123456789/63239
dc.titleCode Level Model-Checking in the Software Development Workflowen_US
dc.typeConference Proceeding
dc.rights.holder© 2020 Copyright held by the owner/author(s).
pubs.notesNot knownen_US
pubs.publication-statusAccepteden_US
dcterms.dateAccepted2019-12-17en_US
rioxxterms.funderDefault funderen_US
rioxxterms.identifier.projectDefault projecten_US


Files in this item

Thumbnail
Name:
Tautschnig Code Level Model 2020 ...
Size:
256.1Kb
Format:
application/
Description:
Published version
View/Open

This item appears in the following Collection(s)

Show simple item record