Error message

  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).
  • Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

Theory Re finement for Program Veri fication

TitleTheory Re finement for Program Veri fication
Publication TypeConference Proceedings
AuthorsHyvärinen, Antti E. J., Asadi Sepideh, Even Mendoza Karine, Fedyukovich Grigory, Chockler Hana, and Sharygina Natasha
Full Text