Title of article
Template-based construction of verified software
Author/Authors
Hemer، نويسنده , , D.; Lindsay، نويسنده , , P.A.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
11
From page
2
To page
12
Journal title
IEE Proceedings Software
Serial Year
2005
Journal title
IEE Proceedings Software
Record number
351938
Link To Document