Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

Detection of Security Vulnerabilities Using Guided Model Checking

TitleDetection of Security Vulnerabilities Using Guided Model Checking
Publication TypeConference Paper
Year of Publication2008
AuthorsTsitovich, A.
Conference Name24th International Conference on Logic Programming (ICLP)
PublisherSpringer
Conference LocationUdine, Italy
Full Text