Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA

By clibrary on Mon, 06/23/2025 - 20:01
Author

Edmund Clarke, Dexter Kozen

Publisher

Springer

Subject

Computer Science

Year

1984

Vol/Edition

164

ISBN

9783540387756

URL
http://dx.doi.org/10.1007/3-540-12896-4