Informatique et Bio-informatique

Machines abstraites, vérification formelle et biochimie cellulaire