Title of article
Semantical Analysis of Specification Logic, 2
Author/Authors
Ohearn P. W.، نويسنده , , Tennent R. D.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
33
From page
25
To page
57
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261348
Link To Document