Jens Palsberg

Static Analysis

2004

Verification, Model Checking, and Abstract Interpretation

2018

Tools and Algorithms for the Construction and Analysis of Systems

2006

Semantics and Algebraic Specification

2009

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

2009

Object-oriented type systems

1994

Model Checking Software

2008

Modern compiler implementation in Java

2002