Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by John Launchbury

Formal Verification of Explicitly Parallel Microprocessors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Language Definition DSDL for Hawk

1998English

Initial Suite of Small Language Definitions and Implementations for DSDL

1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy