Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

PDF
English
Year: 2018
Author: Isil Dillig,Jens Palsberg (eds.)

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Jens Palsberg (auth.), Jens Palsberg (eds.)

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Jens Palsberg (auth.), Jens Palsberg (eds.)

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

PDF
English
Year: 2009
Author: Jens Palsberg (auth.), Jens Palsberg (eds.)

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

PDF
English
Year: 2019
Author: Isil Dillig, Serdar Tasiran

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

PDF
English
Year: 2019
Author: Isil Dillig, Serdar Tasiran

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

PDF
English
Year: 2000
Author: Daniel Jackson (auth.), Jens Palsberg (eds.)

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)