Title of article :
Getting the best from formal methods
Author/Authors :
John B. Wordsworth، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Keywords :
Formal notations , Software development process , formal methods
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology