Title of article
Multiple view environment supporting VDM and Ada
Author/Authors
Albalooshi، نويسنده , , F.; Long، نويسنده , , F.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
17
From page
203
To page
219
Journal title
IEE Proceedings Software
Serial Year
1999
Journal title
IEE Proceedings Software
Record number
351863
Link To Document