a public good project by the
Synthesis
Company
of California

© 2026

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation | doi.page

0 citations0 references

Google Scholar doi.org

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation

Lecture notes in computer science·2011·pp. 19–22

Citations Over TimeTop 15% of 2011 papers

Francesco Logozzo

Related Papers

→ On measuring programmer team productivity(2002)5 cited
→ Programmer Selection Using Modified Fuzzy Mamdani Method(2019)3 cited
→ A Versatile Laboratory Programmer(1972)22 cited
Design of the Hand-held Programmer Based on PIC16F913(2010)
The Framework and the Education for the Programmer(2005)