2012
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Publication
Publication
Additional Metadata | |
---|---|
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 | |
Organisation | 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
|
Additional Files | |
---|---|
Publisher Version |
See Also |
---|
bookChapter
|
bookChapter
|