Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alvaro Miyazawa

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming

English