Jeannette M. Wing, Jim Woodcock. Introduction: Special Issues for FM 99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17(3):199-200, 2000.
@article{WingW00:0,
title = {Introduction: Special Issues for FM 99, the First World Congress on Formal Methods in the Development of Computing Systems},
author = {Jeannette M. Wing and Jim Woodcock},
year = {2000},
researchr = {https://researchr.org/publication/WingW00%3A0},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {17},
number = {3},
pages = {199-200},
}