Enhancing Testing of VDM-SL models

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Standard

Enhancing Testing of VDM-SL models. / Tran-Jørgensen, Peter Würtz Vinther; Nilsson, Rene Søndergaard; Lausdahl, Kenneth Guldbrandt.

The 16th Overture Workshop. red. / Ken Pierce; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 7-23 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Harvard

Tran-Jørgensen, PWV, Nilsson, RS & Lausdahl, KG 2018, Enhancing Testing of VDM-SL models. i K Pierce & M Verheof (red), The 16th Overture Workshop. bind CS-TR-1524, Newcastle University, Newcastle, University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, bind 1524, s. 7-23, The 16th Overture Workshop, Oxford, Storbritannien, 14/07/2018.

APA

Tran-Jørgensen, P. W. V., Nilsson, R. S., & Lausdahl, K. G. (2018). Enhancing Testing of VDM-SL models. I K. Pierce, & M. Verheof (red.), The 16th Overture Workshop (Bind CS-TR-1524, s. 7-23). Newcastle: Newcastle University. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind. 1524

CBE

Tran-Jørgensen PWV, Nilsson RS, Lausdahl KG. 2018. Enhancing Testing of VDM-SL models. Pierce K, Verheof M, red. I The 16th Overture Workshop. Newcastle: Newcastle University. s. 7-23. (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

MLA

Tran-Jørgensen, Peter Würtz Vinther, Rene Søndergaard Nilsson og Kenneth Guldbrandt Lausdahl "Enhancing Testing of VDM-SL models". og Pierce, Ken Verheof, Marcel (red.). The 16th Overture Workshop. Newcastle: Newcastle University. (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524). 2018, 7-23.

Vancouver

Tran-Jørgensen PWV, Nilsson RS, Lausdahl KG. Enhancing Testing of VDM-SL models. I Pierce K, Verheof M, red., The 16th Overture Workshop. Bind CS-TR-1524. Newcastle: Newcastle University. 2018. s. 7-23. (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

Author

Tran-Jørgensen, Peter Würtz Vinther ; Nilsson, Rene Søndergaard ; Lausdahl, Kenneth Guldbrandt. / Enhancing Testing of VDM-SL models. The 16th Overture Workshop. red. / Ken Pierce ; Marcel Verheof. Bind CS-TR-1524 Newcastle : Newcastle University, 2018. s. 7-23 (University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, Bind 1524).

Bibtex

@inproceedings{a613d3c44ca54c38ab8e5dd126e8e334,
title = "Enhancing Testing of VDM-SL models",
author = "Tran-J{\o}rgensen, {Peter W{\"u}rtz Vinther} and Nilsson, {Rene S{\o}ndergaard} and Lausdahl, {Kenneth Guldbrandt}",
note = "Part I: Tools Session",
year = "2018",
month = "10",
language = "English",
volume = "CS-TR-1524",
pages = "7--23",
editor = "Ken Pierce and Marcel Verheof",
booktitle = "The 16th Overture Workshop",
publisher = "Newcastle University",

}

RIS

TY - GEN

T1 - Enhancing Testing of VDM-SL models

AU - Tran-Jørgensen, Peter Würtz Vinther

AU - Nilsson, Rene Søndergaard

AU - Lausdahl, Kenneth Guldbrandt

N1 - Part I: Tools Session

PY - 2018/10

Y1 - 2018/10

M3 - Article in proceedings

VL - CS-TR-1524

SP - 7

EP - 23

BT - The 16th Overture Workshop

A2 - Pierce, Ken

A2 - Verheof, Marcel

PB - Newcastle University

CY - Newcastle

ER -