By the same authors

From the same journal

Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems

Research output: Contribution to journalEditorial

Standard

Guest Editors' Introduction : Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. / Wing, Jeannette M.; Woodcock, Jim.

In: IEEE Trans. Software Eng., Vol. 26, No. 8, 2000, p. 673-674.

Research output: Contribution to journalEditorial

Harvard

Wing, JM & Woodcock, J 2000, 'Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems', IEEE Trans. Software Eng., vol. 26, no. 8, pp. 673-674.

APA

Wing, J. M., & Woodcock, J. (2000). Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng., 26(8), 673-674.

Vancouver

Wing JM, Woodcock J. Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 2000;26(8):673-674.

Author

Wing, Jeannette M. ; Woodcock, Jim. / Guest Editors' Introduction : Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. In: IEEE Trans. Software Eng. 2000 ; Vol. 26, No. 8. pp. 673-674.

Bibtex - Download

@article{761ec2981de64dbe83576d65706322a5,
title = "Guest Editors' Introduction: Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems",
author = "Wing, {Jeannette M.} and Jim Woodcock",
year = "2000",
language = "Undefined/Unknown",
volume = "26",
pages = "673--674",
journal = "IEEE Trans. Software Eng.",
number = "8",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Guest Editors' Introduction

T2 - Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems

AU - Wing, Jeannette M.

AU - Woodcock, Jim

PY - 2000

Y1 - 2000

M3 - Editorial

VL - 26

SP - 673

EP - 674

JO - IEEE Trans. Software Eng.

JF - IEEE Trans. Software Eng.

IS - 8

ER -