Software (theme 1)
Springer
R.L. Constable , A.M. Silva (Alexandra)
978-3-642-29484-6
dx.doi.org/10.1007/978-3-642-29485-3
Lecture Notes in Computer Science
Computer Security

Constable, R.L, & Silva, A.M (Eds.). (2012). Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday. (R.L Constable & A.M Silva, Eds.)Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-642-29485-3