Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Andrew Gravell

Extraction of Abstraction Invariants for Data Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy