Files
Details
Title
On computing the fixpoint of a set of boolean equations
Author(s)
Kuncak, Viktor ; Rustan, K. ; Leino, M.
Date
2003
Note
MSR-TR-2003-08 (Microsoft Research)
Additional link
URL
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Technical Reports
Published
Work outside EPFL
Technical Reports
Published
Record creation date
2007-08-21