Title of article :
Software technology—formal methods and scientific foundations
Author/Authors :
M. Broy، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Keywords :
Software Engineering , System models , formal methods
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology