Jump To : Overview | Titles | Subjects

Palsberg, Jens.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / by: Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Havelund, Klaus, (1955-); SpringerLink (Online service); Palsberg, Jens. (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by: SpringerLink (Online service); Palsberg, Jens.; Dillig, Isil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Principles and practices of building parallel software = essays dedicated to Vivek Sarkar on the occasion of his 64th birthday / by: Barik, Rajkishore.; Sarkar, Vivek.; SpringerLink (Online service); Gupta, Rajiv.; Palsberg, Jens. (Language materials, printed)

Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Su, Zhendong.; SpringerLink (Online service); Palsberg, Jens. (Language materials, printed)

Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday / by: Palsberg, Jens.; Mosses, Peter.; SpringerLink (Online service) (Language materials, printed)

Subjects