Verification of Concurrent Software

Research output: Contribution to journalEditorialAcademicpeer-review

Original languageEnglish
Pages (from-to)2-2
JournalElectronic proceedings in theoretical computer science
Issue number261
Publication statusPublished - 2017

Cite this

@article{86e32e6f8e404813b4f2308de268b30f,
title = "Verification of Concurrent Software",
author = "Marieke Huisman",
year = "2017",
language = "English",
pages = "2--2",
journal = "Electronic proceedings in theoretical computer science",
issn = "2075-2180",
publisher = "Open Publishing Association",
number = "261",

}

Verification of Concurrent Software. / Huisman, Marieke.

In: Electronic proceedings in theoretical computer science, No. 261, 2017, p. 2-2.

Research output: Contribution to journalEditorialAcademicpeer-review

TY - JOUR

T1 - Verification of Concurrent Software

AU - Huisman, Marieke

PY - 2017

Y1 - 2017

M3 - Editorial

SP - 2

EP - 2

JO - Electronic proceedings in theoretical computer science

JF - Electronic proceedings in theoretical computer science

SN - 2075-2180

IS - 261

ER -