71 search results - page 15 / 15 » Using Datalog with Binary Decision Diagrams for Program Anal... |
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...