report

On computing the fixpoint of a set of boolean equations

Kuncak, Viktor  orcid-logo
•
Rustan, K.
•
Leino, M.
2003
Type
report
Author(s)
Kuncak, Viktor  orcid-logo
Rustan, K.
Leino, M.
Date Issued

2003

Note

MSR-TR-2003-08 (Microsoft Research)

URL

URL

http://arxiv.org/abs/cs.PL/0408045
Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10359