IOS Press

Publisher

Browse all works related to IOS Press.

"1525" Result

Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks a…