report

On computing the fixpoint of a set of boolean equations

Kuncak, Viktor  
•
Rustan, K.
•
Leino, M.
2003
Loading...
Thumbnail Image
Name

KuncakLeino03OnComputingFixpoints.pdf

Access type

openaccess

Size

93.2 KB

Format

Adobe PDF

Checksum (MD5)

4567713d2109c053b48d20d9ffd9d476