Back to Results
First PageMeta Content
Diagrams / Binary decision diagram / Boolean algebra / Model checking / Graph theory / Graph / Directed acyclic graph / Prolog / Binary relation / Mathematics / Theoretical computer science / Relational model


IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2,
Add to Reading List

Document Date: 2013-10-11 06:59:10

Open Document

File Size: 1,10 MB

Share Result on Facebook
UPDATE