Java’s integral types in pvs (2003)

by B Jacobs
Venue:Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of LNCS