Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Experimentation in software engineering
IEEE Transactions on Software Engineering
Program verification: the very idea
Communications of the ACM
TEDIUM and the software process
TEDIUM and the software process
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Hi-index | 0.00 |