Title: Symposium on Engineering Computer Software: verification, qualification, certification
Subjects: Congresses, Data processing, Engineering