Title of article :
Applying an operational formal method throughout software engineering education
Author/Authors :
Ann E. Kelley Sobel، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1998
Keywords :
Undergraduate curriculum , Formal method , software engineering education
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology