Javascript is disabled in your browser. Please
enable Javascript
to view PeerJ.
August 2017
Table of Contents - PeerJ Preprints
Sorted by published
Publication date
Downloads
Pageviews
Preprints
PeerJ - Medicine articles
PeerJ - Biology & Life science articles
PeerJ - General bio (stats, legal, policy, edu)
PeerJ Computer Science
PeerJ Preprints
theory-and-formal-methods
computational-biology
Login to save + alerts
August 17, 2017 - Version: 3
An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing
Soumya Banerjee
https://doi.org/10.7287/peerj.preprints.2690v3
← Previous
1
Next →
Archives - Preprints
theory-and-formal-methods
computational-biology
2018
November
1
2017
August
1
2016
2015
June
1
Filter on subjects this month
adaptive-and-self-organizing-systems
1
computational-biology
1
theory-and-formal-methods
1
I told my colleagues that PeerJ is a journal where they need to publish if they want their paper to be published quickly and with the strict peer review expected from a good journal.
Sohath Vanegas,
PeerJ Author
View author feedback
