HOME
SEARCH
BOOLEAN SEARCH
THESAURUS
SOURCES
AUTHORS
WEEKLY UPDATES
UPDATE BULLETIN (PDF)
UPDATE BULLETIN (WEB)
ABOUT US
MY SAFETYLIT
Aa
Aa
Aa
SAFETYLIT WEEKLY UPDATE
We compile citations and summaries of about 400 new articles every week.
RSS Feed
HELP:
Tutorials
|
FAQ
CONTACT US:
Contact info
ACM transactions on software engineering and methodology
Journal Volume: 15
Journal Issue: 4
Journal Year: 2006
Articles in SafetyLit: 1
Efficient Path Conditions in Dependence Graphs for Software Safety Analysis