undefined

< Tillbaka till sökresultaten

Model Checking a C plus plus Software Framework:A Case Study

Publiceringsår

2019

Upphovspersoner

Lång, John; Prasetya, I. S. W. B.

Organisationer och upphovspersoner

Helsingfors universitet

Lång John

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

ESEC/FSE'2019:PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING

Moderpublikationens redaktörer

Dumas, M; Pfahl, D; Apel, S; Russo, A

Konferens

ACM Joint Meeting on European Software Engineering Conference (ESEC)/ Symposium on the Foundations of Software Engineering (FSE)<br/><br/>

Förläggare

ACM

Sidor

1026-1036

ISBN

978-1-4503-5572-8

Publikationsforum

5098

Publikationsforumsnivå

1

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object]

Publiceringsland

Förenta staterna (USA)

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.1145/3338906.3340453

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja