Palsberg, Jens.

概要

作品:	0 作品在 1 項出版品 1 種語言

書目資訊

Model Checking Software15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: (1998 :); Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service) (書目-電子資源)

Static analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (1998 :); Palsberg, Jens.; SpringerLink (Online service); Su, Zhendong. (書目-電子資源)

Static analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/ by: (1998 :); Palsberg, Jens.; SpringerLink (Online service) (書目-電子資源)

Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: Mosses, Peter.; Palsberg, Jens.; SpringerLink (Online service) (書目-電子資源)

Verification, model checking, and abstract interpretation19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018 : proceedings / by: (1998 :); Dillig, Isil.; Palsberg, Jens.; SpringerLink (Online service) (書目-電子資源)

主題