Back to Results
First PageMeta Content
Model checking / Academia / Knowledge / Logic / Formal methods / Temporal logic / Mathematical logic / Formal verification / Rajeev Alur / Formal sciences / Model checkers / Science


DOCTORAL CANDIDATE: Daniela Lepri DEGREE:
Add to Reading List

Open Document

File Size: 180,89 KB

Share Result on Facebook
UPDATE