Jeannette M. Wing, Jim Woodcock. The First World Congress on Formal Methods in the Development of Computing Systems. Formal Asp. Comput., 12(3):145-146, 2000. [doi]
@article{WingW00:1,
title = {The First World Congress on Formal Methods in the Development of Computing Systems},
author = {Jeannette M. Wing and Jim Woodcock},
year = {2000},
url = {http://link.springer.de/link/service/journals/00165/bibs/0012003/00120145.htm},
researchr = {https://researchr.org/publication/WingW00%3A1},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {12},
number = {3},
pages = {145-146},
}