Error message

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

A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (Thesis)

Title	A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (Thesis)
Publication Type	Technical Report
Authors	Rubinfeld, R.

Google Scholar

Main menu

Error message

A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (Thesis)

Quick Links

Research Areas

Projects

Visitor Information

Follow ICSI

Search form

Main menu

Error message

A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs (Thesis)

Quick Links

Research Areas

Projects

Visitor Information

Follow ICSI