APA-ийн эшлэл(7 дахь хэвлэлт)
Jeannette M. Wing, J. W. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Jeannette M. Wing, Jim Woodcock. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Jeannette M. Wing, Jim Woodcock. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.