Summary
Report on critical gaps in existing formal methods to capture computation in unconventional substrates
More information & hyperlinks