Title of article
CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms
Author/Authors
D. E. Zegour، نويسنده , , Michael G. Levy، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1998
Pages
10
From page
281
To page
290
Keywords
transformation , Symbolic evaluation , Compiler , Proof , Automaton , algorithm
Journal title
Information and Software Technology
Serial Year
1998
Journal title
Information and Software Technology
Record number
134544
Link To Document