Zobrazeno 1 - 10
of 771
pro vyhledávání: '"Currie, David"'
Autor:
Currie, David1 (AUTHOR) david.currie21@imperial.ac.uk, Wong, Nicole1 (AUTHOR) n.wong@inoviv.com, Zane, Isabelle1 (AUTHOR) iz2@sanger.ac.uk, Rix, Tom1 (AUTHOR) tom.rix21@imperial.ac.uk, Vardakastanis, Marios1 (AUTHOR) mkvardas@gmail.com, Claxton, Amelia2 (AUTHOR) amelia.claxton@kcl.ac.uk, Ong, Karine K. V.2 (AUTHOR) kai.v.ong@kcl.ac.uk, Macmorland, William3 (AUTHOR) william.macmorland@kcl.ac.uk, Poivet, Arthur1 (AUTHOR) apoivet@genpax.co, Brooks, Anthony4 (AUTHOR) a.brooks@ucl.ac.uk, Niola, Paola5 (AUTHOR) paola.niola@immunocore.com, Huntley, Derek1 (AUTHOR) d.huntley@imperial.ac.uk, Montano, Ximena1,2,6 (AUTHOR) ximena.montano@kcl.ac.uk
Publikováno v:
Cancers. Feb2024, Vol. 16 Issue 4, p722. 19p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Currie, David W.
Formal verification has, in recent years, become widely used in the design and implementation of large integrated circuits, but its use in general software verification has been more limited. We have developed a new technique to verify assembly code
Externí odkaz:
http://hdl.handle.net/2429/9415