Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Martin Nordio

Program Checking With Less Hassle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Javanni: A Verifier for JavaScript

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy